Annotated hyperresolution for non-Horn regular multiple-valued logics

DOI10.1007/3-540-39963-1_32MaRDI QIDQ2766946zbMATH OpenFDO

Authors James J. Lu, Neil V. Murray, Erik Rosenthal

Publication date 25 April 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-39963-1_32

zbMATH Keywords

\(\mho\)-resolutionhyperresolutioninferencelogic for AImultiple-valued logicsigned and annotated logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Recommendations

• -resolution: An inference rule for regular multiple-valued logics
• Resolution-based theorem proving for many-valued logics
• scientific article; zbMATH DE number 7533
• Resolution for many-valued logics
• An ordered resolution and paramodulation calculus for finite many-valued logics
• The completeness of gp-resolution for annotated logics
• On the algebraizability of annotated logics
• scientific article; zbMATH DE number 517011
• Multi-valued semantics for logic programs
• A Note on Calculi for Non-deterministic Many-valued Logics

Cited in

(3)

• scientific article; zbMATH DE number 2089453 (Why is no real title available?)
• -resolution: An inference rule for regular multiple-valued logics
• scientific article; zbMATH DE number 2209897 (Why is no real title available?)

This page was built for publication: Annotated hyperresolution for non-Horn regular multiple-valued logics

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