Evaluation of Peirce's axiom on intermediate Kripke models and its application
Hosoi, Tsutomu
Proc. Japan Acad. Ser. A Math. Sci., Tome 55 (1979) no. 7, p. 364-366 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1979-05-15
Classification:  03B55 
@article{1195517116,
     author = {Hosoi, Tsutomu},
     title = {Evaluation of Peirce's axiom on intermediate Kripke models and its application},
     journal = {Proc. Japan Acad. Ser. A Math. Sci.},
     volume = {55},
     number = {7},
     year = {1979},
     pages = { 364-366},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1195517116}
}

Hosoi, Tsutomu. Evaluation of Peirce's axiom on intermediate Kripke models and its application. Proc. Japan Acad. Ser. A Math. Sci., Tome 55 (1979) no. 7, pp.  364-366. http://gdmltest.u-ga.fr/item/1195517116/