Gentzen method in modal calculi
Ohnishi, Masao ; Matsumoto, Kazuo
Osaka Math. J., Tome 9 (1957) no. 1, p. 113-130 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1957-05-15
Classification:  02.00 
@article{1200689157,
     author = {Ohnishi, Masao and Matsumoto, Kazuo},
     title = {Gentzen method in modal calculi},
     journal = {Osaka Math. J.},
     volume = {9},
     number = {1},
     year = {1957},
     pages = { 113-130},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1200689157}
}

Ohnishi, Masao; Matsumoto, Kazuo. Gentzen method in modal calculi. Osaka Math. J., Tome 9 (1957) no. 1, pp.  113-130. http://gdmltest.u-ga.fr/item/1200689157/