Many-valuedness meets bivalence: using logical values in an effective way

MaRDI QIDQ4583680zbMATH OpenFDO

Authors João Marcos, Carlos Caleiro

Publication date 3 September 2018

Full work available at URL http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-19-number-1-3-2012/mvlsc-19-1-3-p-51-70/

zbMATH Keywords

proof theoryformal semanticstableauxtruth-functionalitybivalencemany-valuedness

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• scientific article; zbMATH DE number 2196615
• Multi-valued semantics: why and how
• Many-valued logics. A mathematical and computational introduction
• Entailment and bivalence
• Entailment relations and/as truth values

Cited in

(6)

• Entailment and bivalence
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Multi-valued semantics: why and how
• Entailment relations and/as truth values
• Translating non-classical logics into classical logic by using hidden variables
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY

This page was built for publication: Many-valuedness meets bivalence: using logical values in an effective way

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