The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Caractérisation de l'opération de fermeture par un seul axiome”

La créativité des définitions dans les systèmes para-euclidiens

Jean-Pierre Ginisti (1991)

Mathématiques et Sciences Humaines

Similarity:

Cet article considère trois sortes de calcul propositionnel (mais surtout la troisième), à la fois d'un point de vue logique et d'un point de vue épistémologique : (1) les systèmes classiques qui ont les propriétés suivantes : (a) chaque axiome doit contenir seulement (ou doit être compris comme contenant seulement) des termes primitifs, (b) chaque définition est métalinguistique, (c) chaque définition est non créatrice ; (2) les systèmes de Leśnieswski qui satisfont (a) mais ni (b)...