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] Topologie générale, chap. 1 : « Structures topologiques », Paris, Hermann, 1965. | MR
,[2] Formal methods, Dordrecht, Reidel, 1962. | Zbl
,[3] Form and content in quantification theory », Acta Philosophica Finnica, 8 (1955), pp. 57-55. | MR | Zbl
, «[4] Deductive systems and categories III », Lecture notes in mathematics 274, pp. 57-82, Berlin, Springer,1972. | MR | Zbl
, «[5] Adjointness in foundations », Dialectica 23 (1967), pp. 281-296. | Zbl
«[6] The mathematics of metamathematics, Varsovie », Polska Akademia Nauk, 1963. | MR | Zbl
, , « ,