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

zbMATH Open1393.03009MaRDI QIDQ4583680FDOQ4583680

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/

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

zbMATH Keywords

proof theoryformal semanticstableauxtruth-functionalitybivalencemany-valuedness

Mathematics Subject Classification ID

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

Cited In (6)

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

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)