A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics
MOTOHASHI, Nobuyoshi
J. Math. Soc. Japan, Tome 42 (1990) no. 4, p. 127-132 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1990-01-15
Classification:  03B25,  03B20,  03B45,  03B60 
@article{1227108760,
     author = {MOTOHASHI, Nobuyoshi},
     title = {A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics},
     journal = {J. Math. Soc. Japan},
     volume = {42},
     number = {4},
     year = {1990},
     pages = { 127-132},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1227108760}
}

MOTOHASHI, Nobuyoshi. A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics. J. Math. Soc. Japan, Tome 42 (1990) no. 4, pp.  127-132. http://gdmltest.u-ga.fr/item/1227108760/