The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary
- 1 January 1967
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 13 (1-2) , 15-20
- https://doi.org/10.1002/malq.19670130104
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A system of quantificational deduction.Notre Dame Journal of Formal Logic, 1963
- An improved prenex normal form1The Journal of Symbolic Logic, 1962
- The completeness of the first-order functional calculusThe Journal of Symbolic Logic, 1949