Geodesic
Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique
Mathématiques informatique et sciences humaines, Tome 48 (1974), pp. 21-27.

Voir la notice de l'article provenant de la source Numdam

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 informatique 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://geodesic.mathdoc.fr/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 informatique 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://geodesic.mathdoc.fr/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 informatique 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://geodesic.mathdoc.fr/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 informatique et sciences humaines, Tome 48 (1974), pp. 21-27. http://geodesic.mathdoc.fr/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. | Zbl | MR

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

[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. | Zbl | MR

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