Are tableaux an improvement on truth-tables?
- 1 January 1992
- journal article
- Published by Springer Nature in Journal of Logic, Language and Information
- Vol. 1 (3), 235-252
- https://doi.org/10.1007/bf00156916
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Uniform notation of tableau rules for multiple-valued logicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Complexity of Proofs in Classical Propositional LogicPublished by Springer Nature ,1992
- HARP: A tableau-based theorem proverJournal of Automated Reasoning, 1988
- Systematization of finite many-valued logics through the method of tableauxThe Journal of Symbolic Logic, 1987
- The relative efficiency of propositional proof systemsThe Journal of Symbolic Logic, 1979
- Towards feasible solutions of the tautology problemAnnals of Mathematical Logic, 1976
- The Unit Proof and the Input Proof in Theorem ProvingJournal of the ACM, 1970
- Analytic cutThe Journal of Symbolic Logic, 1969
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935