A resolution framework for finitely-valued first-order logics

DOI10.1016/S0747-7171(10)80002-1MaRDI QIDQ1185455zbMATH OpenFDO

Authors Peter W. O'Hearn, Zbigniew Stachniak

Publication date 28 June 1992

Published in Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

resolutionproof systemfinitely-valued first-order logics

Mathematics Subject Classification ID

Recommendations

• Resolution-based theorem proving for many-valued logics
• Resolution approximation of first-order logics
• Resolution theorem proving
• scientific article; zbMATH DE number 19150
• scientific article; zbMATH DE number 886137

Cites work

• scientific article; zbMATH DE number 4018413 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 4157911 (Why is no real title available?)
• scientific article; zbMATH DE number 3941499 (Why is no real title available?)
• scientific article; zbMATH DE number 4049622 (Why is no real title available?)
• scientific article; zbMATH DE number 4055570 (Why is no real title available?)
• scientific article; zbMATH DE number 4057054 (Why is no real title available?)
• scientific article; zbMATH DE number 4066840 (Why is no real title available?)
• scientific article; zbMATH DE number 15392 (Why is no real title available?)
• scientific article; zbMATH DE number 41806 (Why is no real title available?)
• scientific article; zbMATH DE number 48155 (Why is no real title available?)
• scientific article; zbMATH DE number 3547260 (Why is no real title available?)
• scientific article; zbMATH DE number 3627135 (Why is no real title available?)
• scientific article; zbMATH DE number 475244 (Why is no real title available?)
• scientific article; zbMATH DE number 3219316 (Why is no real title available?)
• scientific article; zbMATH DE number 3392404 (Why is no real title available?)
• scientific article; zbMATH DE number 4182873 (Why is no real title available?)
• Completely non-clausal theorem proving
• Complexity and related enhancements for automated theorem-proving programs
• Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
• On products of structures for generalized logics
• Special relations in automated deduction
• The recursive resolution method for modal logic
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(3)

• scientific article; zbMATH DE number 3941499 (Why is no real title available?)
• Formalization of the Resolution Calculus for First-Order Logic
• Towards a unified theorem of soundness and completeness for resolution in different 2-valued logics

This page was built for publication: A resolution framework for finitely-valued first-order logics

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