Decision procedure for modal sentential calculus ${\rm S}3$
Matsumoto, Kazuo
Osaka Math. J., Tome 12 (1960) no. 1, p. 167-175 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1960-05-15
Classification:  02.27 
@article{1200689820,
     author = {Matsumoto, Kazuo},
     title = {Decision procedure for modal sentential calculus ${\rm S}3$},
     journal = {Osaka Math. J.},
     volume = {12},
     number = {1},
     year = {1960},
     pages = { 167-175},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1200689820}
}

Matsumoto, Kazuo. Decision procedure for modal sentential calculus ${\rm S}3$. Osaka Math. J., Tome 12 (1960) no. 1, pp.  167-175. http://gdmltest.u-ga.fr/item/1200689820/