Resolution for many-valued logics

DOI10.1007/BFB0013053MaRDI QIDQ4255505zbMATH OpenFDO

Authors Matthias Baaz, Christian G. Fermüller

Publication date 16 August 1999

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

Full work available at URL https://doi.org/10.1007/BFB0013053

Mathematics Subject Classification ID

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

Recommendations

• Resolution-based theorem proving for many-valued logics
• scientific article; zbMATH DE number 517011
• Short Conjunctive Normal Forms in Finitely Valued Logics

Cited in

(28)

• On the refutational completeness of signed binary resolution and hyperresolution
• TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic
• Resolution-based theorem proving for many-valued logics
• scientific article; zbMATH DE number 1696719 (Why is no real title available?)
• New connectives for (full) fuzzy resolution
• Vague domains, S-unification and logic programming
• scientific article; zbMATH DE number 2086171 (Why is no real title available?)
• Extending resolution to resolution logics
• scientific article; zbMATH DE number 19150 (Why is no real title available?)
• On the completeness theorem for many-valued lattices
• An ordered resolution and paramodulation calculus for finite many-valued logics
• -resolution: An inference rule for regular multiple-valued logics
• scientific article; zbMATH DE number 517011 (Why is no real title available?)
• scientific article; zbMATH DE number 549996 (Why is no real title available?)
• scientific article; zbMATH DE number 683345 (Why is no real title available?)
• Short Conjunctive Normal Forms in Finitely Valued Logics
• Higher-Order Multi-Valued Resolution
• scientific article; zbMATH DE number 2072502 (Why is no real title available?)
• scientific article; zbMATH DE number 2079267 (Why is no real title available?)
• scientific article; zbMATH DE number 1507196 (Why is no real title available?)
• Reasoning without believing: on the mechanisation of presuppositions and partiality
• Storage Operators and Multiplicative Quantifiers in Many-valued Logics
• Multi-valued extension of Putnam-Davis procedure
• scientific article; zbMATH DE number 4193644 (Why is no real title available?)
• A mechanization of strong Kleene logic for partial functions
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• Binary resolution over Boolean lattices

This page was built for publication: Resolution for many-valued logics

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