An essay on resolution logics

DOI10.1007/BF01058394MaRDI QIDQ687163zbMATH OpenFDO

Authors Zbigniew Stachniak

Publication date 5 March 1995

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

nonclassical logicspropositional logicmatrix semanticsresolution principleconsequence operationsrefutationally complete resolution proof systemresolution logics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15)

Cites work

• scientific article; zbMATH DE number 4157911 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 475244 (Why is no real title available?)
• scientific article; zbMATH DE number 4182873 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Completely non-clausal theorem proving
• Extending resolution to resolution logics
• Resolution approximation of first-order logics
• Special relations in automated deduction
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(8)

• On the Power of Logic Resynthesis
• scientific article; zbMATH DE number 4027425 (Why is no real title available?)
• scientific article; zbMATH DE number 4160687 (Why is no real title available?)
• Extending resolution to resolution logics
• Towards a unified theorem of soundness and completeness for resolution in different 2-valued logics
• scientific article; zbMATH DE number 4157911 (Why is no real title available?)
• scientific article; zbMATH DE number 475244 (Why is no real title available?)
• scientific article; zbMATH DE number 4182873 (Why is no real title available?)

This page was built for publication: An essay on resolution logics

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