Topologie et logique propositionnelle modale
Eytan, M.
Mathématiques et Sciences humaines, Tome 13 (1965), p. 29-30 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1965-01-01
@article{MSH_1965__12__29_0,
     author = {Eytan, M.},
     title = {Topologie et logique propositionnelle modale},
     journal = {Math\'ematiques et Sciences humaines},
     volume = {13},
     year = {1965},
     pages = {29-30},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/MSH_1965__12__29_0}
}

Eytan, M. Topologie et logique propositionnelle modale. Mathématiques et Sciences humaines, Tome 13 (1965) pp. 29-30. http://gdmltest.u-ga.fr/item/MSH_1965__12__29_0/

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

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 67.0974.01 | MR 6334 | Zbl 0063.03863