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
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},
year = {1974},
publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
volume = {48},
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/