The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary
Author:
- 1 January 1967
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 13 (1-2) , 15-20
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