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) , p. 21-27
Zbl 0318.02010 | MR 371616
⇒ un erratum à cet article Erratum
URL stable : http://www.numdam.org/item?id=MSH_1974__48__21_0

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.

Bibliographie

[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