Topologie et logique propositionnelle modale
Mathématiques et sciences humaines, Tome 12 (1965), pp. 29-30.
corrigé par Errata
@article{MSH_1965__12__29_0,
     author = {Eytan, M.},
     title = {Topologie et logique propositionnelle modale},
     journal = {Math\'ematiques et sciences humaines},
     pages = {29--30},
     publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
     volume = {12},
     year = {1965},
     language = {fr},
     url = {http://archive.numdam.org/item/MSH_1965__12__29_0/}
}
TY  - JOUR
AU  - Eytan, M.
TI  - Topologie et logique propositionnelle modale
JO  - Mathématiques et sciences humaines
PY  - 1965
SP  - 29
EP  - 30
VL  - 12
PB  - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
UR  - http://archive.numdam.org/item/MSH_1965__12__29_0/
LA  - fr
ID  - MSH_1965__12__29_0
ER  - 
%0 Journal Article
%A Eytan, M.
%T Topologie et logique propositionnelle modale
%J Mathématiques et sciences humaines
%D 1965
%P 29-30
%V 12
%I Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
%U http://archive.numdam.org/item/MSH_1965__12__29_0/
%G fr
%F MSH_1965__12__29_0
Eytan, M. Topologie et logique propositionnelle modale. Mathématiques et sciences humaines, Tome 12 (1965), pp. 29-30. http://archive.numdam.org/item/MSH_1965__12__29_0/

1 - Lewis - Langford: Symbolic Logic (Dover, New-York, 1959). | MR | Zbl

2 - Mac Kinsey: A solution of the décision problem for the Lewis system S2 and S4 with an application to topology, Journal of Symbolic Logic 6 (1941) pp. 117-134. | JFM | MR | Zbl