scientific article; zbMATH DE number 2209897

MaRDI QIDQ5692880zbMATH OpenFDO

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

Publication date 28 September 2005

zbMATH Keywords

\(\mho\)-resolutionannotated logicinferenceordered resolutionordinary latticesigned logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1696719
• scientific article; zbMATH DE number 2089453
• scientific article; zbMATH DE number 1301752
• scientific article; zbMATH DE number 695097
• Logic programming with signs and annotations

Cited in

(7)

• Logic programming with signs and annotations
• scientific article; zbMATH DE number 2089453 (Why is no real title available?)
• Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
• scientific article; zbMATH DE number 1301752 (Why is no real title available?)
• On Theorem Proving in Annotated Logics
• Sound and complete SLD-resolution for bilattice-based annotated logic programs
• A first polynomial non-clausal class in many-valued logic

This page was built for publication:

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