Many-valued logics -- theorem proving problems

MaRDI QIDQ3105088zbMATH OpenFDO

Authors Katalin Pásztor Varga, M. Várterész

Publication date 5 January 2012

zbMATH Keywords

many-valued logicsemantic consequencesyntactic consequence

Mathematics Subject Classification ID

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

Recommendations

• A treatise on many-valued logics
• Many-valued logics -- implications and semantic consequences
• Many-valued logics. A mathematical and computational introduction
• The development of many-valued logics
• scientific article; zbMATH DE number 1120742

Cited in

(8)

• Many-valued multi-modal logics, satisfiability problem
• Proof search and co-NP completeness for many-valued logics
• Extending the reach of SAT with many-valued logics
• Some comments on the paper ``Implication systems for many-dimensional logics
• scientific article; zbMATH DE number 3957059 (Why is no real title available?)
• An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
• Many-valued logics -- implications and semantic consequences
• Characterizing logical consequence in many-valued logic

This page was built for publication: Many-valued logics -- theorem proving problems

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