Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique
Mathématiques et Sciences humaines, Tome 48 (1974), p. 21-27
On se propose de donner une interprétation algébrique (en calcul des propositions classiques) des notions d'arbres, d'ensembles de Hintikka, de la méthode des tableaux de Beth-Hintikka Smullyan.
What is the algebraic meaning of trees, Hintikka sets, tableaux ? We give an answer for the propositional calculus.
⇒ un erratum à cet article Erratum
@article{MSH_1974__48__21_0,
     author = {Eytan, M.},
     title = {Tableaux de Smullyan, ensembles de Hintikka et tout \c ca : un point de vue alg\'ebrique},
     journal = {Math\'ematiques et Sciences humaines},
     publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
     volume = {48},
     year = {1974},
     pages = {21-27},
     zbl = {0318.02010},
     mrnumber = {371616},
     language = {fr},
     url = {http://www.numdam.org/item/MSH_1974__48__21_0}
}
Eytan, M. Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique. Mathématiques et Sciences humaines, Tome 48 (1974) pp. 21-27. https://www.numdam.org/item/MSH_1974__48__21_0/

[1] Bourbaki N., Topologie générale, chap. 1 : « Structures topologiques », Paris, Hermann, 1965. | MR 244924

[2] Beth E., Formal methods, Dordrecht, Reidel, 1962. | Zbl 0105.24503

[3] Hintikka J., « Form and content in quantification theory », Acta Philosophica Finnica, 8 (1955), pp. 57-55. | MR 69779 | Zbl 0067.00103

[4] Lambek J., « Deductive systems and categories III », Lecture notes in mathematics 274, pp. 57-82, Berlin, Springer,1972. | MR 349356 | Zbl 0244.18006

[5] Lawvere W. « Adjointness in foundations », Dialectica 23 (1967), pp. 281-296. | Zbl 0341.18002

[6] Rasiowa H., Sikorski R., « The mathematics of metamathematics, Varsovie », Polska Akademia Nauk, 1963. | MR 163850 | Zbl 0122.24311

[7] Smullyan R., First-order logic, Berlin, Springer, 1968. | MR 243994 | Zbl 0172.28901