Meeting the challenge of fifty years of logic

DOI10.1007/BF00245821zbMath0697.68091WikidataQ114267063 ScholiaQ114267063MaRDI QIDQ911807

Larry Wos

Publication date: 1990

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

theorem provingequivalential calculus

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03)

Related Items

Towards finding longer proofs, The application of automated reasoning to questions in mathematics and logic, Searching for circles of pure proofs, Using hints to increase the effectiveness of an automated reasoning program: Case studies, Experiments in the heuristic use of past proof experience, Problems on the generation of finite models, CODE: A powerful prover for problems of condensed detachment, Proofs as schemas and their heuristic use, The problem of selecting an approach based on prior success

Uses Software

• OTTER
• AURA

Cites Work

• Unnamed Item
• Unnamed Item
• A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
• Complexity and related enhancements for automated theorem-proving programs
• An automatic theorem prover for substitution and detachment systems
• A shortest single axiom for the classical equivalential calculus
• Notes on the axiomatics of the propositional calculus