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.
corrigé par Erratum

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.

@article{MSH_1974__48__21_0,
     author = {Eytan, M.},
     title = {Tableaux de {Smullyan,} ensembles de {Hintikka} et tout \c{c}a : un point de vue alg\'ebrique},
     journal = {Math\'ematiques et sciences humaines},
     pages = {21--27},
     publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
     volume = {48},
     year = {1974},
     mrnumber = {371616},
     zbl = {0318.02010},
     language = {fr},
     url = {http://archive.numdam.org/item/MSH_1974__48__21_0/}
}
TY  - JOUR
AU  - Eytan, M.
TI  - Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique
JO  - Mathématiques et sciences humaines
PY  - 1974
SP  - 21
EP  - 27
VL  - 48
PB  - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
UR  - http://archive.numdam.org/item/MSH_1974__48__21_0/
LA  - fr
ID  - MSH_1974__48__21_0
ER  - 
%0 Journal Article
%A Eytan, M.
%T Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique
%J Mathématiques et sciences humaines
%D 1974
%P 21-27
%V 48
%I Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
%U http://archive.numdam.org/item/MSH_1974__48__21_0/
%G fr
%F 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://archive.numdam.org/item/MSH_1974__48__21_0/

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

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

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

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

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

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

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