Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique
Eytan, M.
Mathématiques et Sciences humaines, Tome 48 (1974), p. 21-27 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)

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.

Publié le : 1974-01-01
@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},
     volume = {48},
     year = {1974},
     pages = {21-27},
     mrnumber = {371616},
     zbl = {0318.02010},
     language = {fr},
     url = {http://dml.mathdoc.fr/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. http://gdmltest.u-ga.fr/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