Meeting the challenge of fifty years of logic
- 1 June 1990
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 6 (2) , 213-232
- https://doi.org/10.1007/bf00245821
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domainsArtificial Intelligence, 1984
- 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
- Shortest single axioms for the classical equivalential calculus.Notre Dame Journal of Formal Logic, 1976
- Notes on the axiomatics of the propositional calculus.Notre Dame Journal of Formal Logic, 1963