Logics without Craig's interpolation property
Komori, Yuichi
Proc. Japan Acad. Ser. A Math. Sci., Tome 54 (1978) no. 5, p. 46-48 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1978-05-15
Classification:  02C15 
@article{1195517797,
     author = {Komori, Yuichi},
     title = {Logics without Craig's interpolation property},
     journal = {Proc. Japan Acad. Ser. A Math. Sci.},
     volume = {54},
     number = {5},
     year = {1978},
     pages = { 46-48},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1195517797}
}

Komori, Yuichi. Logics without Craig's interpolation property. Proc. Japan Acad. Ser. A Math. Sci., Tome 54 (1978) no. 5, pp.  46-48. http://gdmltest.u-ga.fr/item/1195517797/