Gentzen decision procedures for Lewis's systems S2 and S3
Ohnishi, Masao
Osaka Math. J., Tome 13 (1961) no. 1, p. 125-137 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1961-05-15
Classification:  02.27 
@article{1200690175,
     author = {Ohnishi, Masao},
     title = {Gentzen decision procedures for Lewis's systems S2 and S3},
     journal = {Osaka Math. J.},
     volume = {13},
     number = {1},
     year = {1961},
     pages = { 125-137},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1200690175}
}

Ohnishi, Masao. Gentzen decision procedures for Lewis's systems S2 and S3. Osaka Math. J., Tome 13 (1961) no. 1, pp.  125-137. http://gdmltest.u-ga.fr/item/1200690175/