scientific article; zbMATH DE number 6930331

zbMath1393.03009MaRDI QIDQ4583680

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/

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal semanticstableauxproof theorytruth-functionalitybivalencemany-valuedness

Mathematics Subject Classification ID

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

Related Items

Translating non-classical logics into classical logic by using hidden variables, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY