Open Access
January, 1990 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 42(1): 127-132 (January, 1990). DOI: 10.2969/jmsj/04210127
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.42 • No. 1 • January, 1990
Back to Top