Caractérisation de l'opération de fermeture par un seul axiome
Monteiro, António (1945)
Portugaliae mathematica
Similarity:
Monteiro, António (1945)
Portugaliae mathematica
Similarity:
Monteiro, António, Ribeiro, Hugo (1940)
Portugaliae mathematica
Similarity:
Adolphe Lindenbaum (1930)
Fundamenta Mathematicae
Similarity:
Christine Froidevaux (1983)
Mathématiques et Sciences Humaines
Similarity:
G. Th. Guilbaud (1969)
Mathématiques et Sciences Humaines
Similarity:
Monteiro, António (1940)
Portugaliae mathematica
Similarity:
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)...
M. Eytan (1965)
Mathématiques et Sciences Humaines
Similarity:
Denise Becchio (1978)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
J. Ravel (1968)
Publications du Département de mathématiques (Lyon)
Similarity:
Dominique Dubarle (1989)
Mathématiques et Sciences Humaines
Similarity: