The two-property and condensed detachment
- 1 January 1982
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 41 (2) , 173-179
- https://doi.org/10.1007/bf00370343
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Axioms or algorithmsPublished by Springer Nature ,1979
- A shortest single axiom for the classical equivalential calculus.Notre Dame Journal of Formal Logic, 1978
- Equational logic.Notre Dame Journal of Formal Logic, 1968
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Notes on the axiomatics of the propositional calculus.Notre Dame Journal of Formal Logic, 1963
- Grundzüge eines neuen Systems der Grundlagen der MathematikFundamenta Mathematicae, 1929