Meeting the challenge of fifty years of logic

DOI10.1007/BF00245821zbMATH Open0697.68091WikidataQ114267063 ScholiaQ114267063MaRDI QIDQ911807FDOQ911807

Authors: Larry Wos 

Publication date: 1990

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

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

zbMATH Keywords

theorem provingequivalential calculus

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03)

Cites Work

• Title not available (Why is that?)
• A shortest single axiom for the classical equivalential calculus
• Notes on the axiomatics of the propositional calculus
• Title not available (Why is that?)
• Complexity and related enhancements for automated theorem-proving programs
• An automatic theorem prover for substitution and detachment systems
• A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains

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

Uses Software

• OTTER
• AURA

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)