Condensed detachment as a rule of inference
- 1 December 1983
- journal article
- research article
- Published by Springer Nature in Studia Logica
- Vol. 42 (4) , 443-451
- https://doi.org/10.1007/bf01371632
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- The two-property and condensed detachmentStudia Logica, 1982
- Axioms or algorithmsPublished by Springer Nature ,1979
- A shortest single axiom for the classical equivalential calculus.Notre Dame Journal of Formal Logic, 1978
- An automatic theorem prover for substitution and detachment systems.Notre Dame Journal of Formal Logic, 1978
- In memoriam: Carew Arthur Meredith (1904--1976).Notre Dame Journal of Formal Logic, 1977
- Methods for Automated Theorem Proving in Nonclassical LogicsIEEE Transactions on Computers, 1976
- Shortest single axioms for the classical equivalential calculus.Notre Dame Journal of Formal Logic, 1976
- The logic theorist in LISP†International Journal of Computer Mathematics, 1968
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960