Logique modale propositionnelle : une vue cavalière
M. Eytan (1977)
Mathématiques et Sciences Humaines
Similarity:
Displaying similar documents to “Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique”
Logique modale propositionnelle : une vue cavalière
Logique et algèbre de Boole
Jean-Blaise Grize (1966)
Mathématiques et Sciences Humaines
Similarity:
Essai sur la genèse de la méthode des tableaux de Beth
Marcel Guillaume (1998-1999)
Philosophia Scientiae
Similarity:
Logique, catégories et faisceaux
Pierre Cartier (1977-1978)
Séminaire Bourbaki
Similarity:
Logique trivalente de Lukasiewicz
Denise Becchio (1978)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Le définitionnisme
Marc Krasner (1962)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Qu'est-ce qu'un quantificateur ? Le point de vue de l'algèbriste
M. Eytan (1965)
Mathématiques et Sciences Humaines
Similarity:
Topologie et logique propositionnelle modale
M. Eytan (1965)
Mathématiques et Sciences Humaines
Similarity: