Structures algébriques suggérées par la logique mathématique
Maurice l'Abbé (1958)
Bulletin de la Société Mathématique de France
Similarity:
Displaying similar documents to “Logique trivalente de Lukasiewicz”
Structures algébriques suggérées par la logique mathématique
Qu'est-ce qu'un quantificateur ? Le point de vue de l'algèbriste
M. Eytan (1965)
Mathématiques et Sciences Humaines
Similarity:
Logique et algèbre de Boole
Jean-Blaise Grize (1966)
Mathématiques et Sciences Humaines
Similarity:
Topologie et logique propositionnelle modale
M. Eytan (1965)
Mathématiques et Sciences Humaines
Similarity:
Sur quelques algèbres de la Logique
Porta, Horácio (1981)
Portugaliae mathematica
Similarity:
Une généralisation du théorème d'omission des types dans les algèbres polyadiques
Georges Georgescu (1982)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Logique, catégories et faisceaux
Pierre Cartier (1977-1978)
Séminaire Bourbaki
Similarity: