Meeting the challenge of fifty years of logic

DOI10.1007/BF00245821MaRDI QIDQ911807zbMATH OpenWikidataFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3904557
• scientific article; zbMATH DE number 41806
• scientific article; zbMATH DE number 4104410
• Mechanizing Mathematical Reasoning
• scientific article; zbMATH DE number 3904558

Cites work

• scientific article; zbMATH DE number 4104410 (Why is no real title available?)
• scientific article; zbMATH DE number 41806 (Why is no real title available?)
• A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
• A shortest single axiom for the classical equivalential calculus
• An automatic theorem prover for substitution and detachment systems
• Complexity and related enhancements for automated theorem-proving programs
• Notes on the axiomatics of the propositional calculus

Cited in

(10)

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

Describes a project that uses

Uses Software

• AURA
• OTTER

This page was built for publication: Meeting the challenge of fifty years of logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911807)