scientific article; zbMATH DE number 1324434

MaRDI QIDQ4255505zbMATH OpenFDO

Authors Matthias Baaz, Christian G. Fermüller

Publication date 16 August 1999

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
• scientific article; zbMATH DE number 1292291 (Why is no real title available?)
• scientific article; zbMATH DE number 1301752 (Why is no real title available?)
• 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:

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