Effective Finite-Valued Semantics for Labelled Calculi

DOI10.1007/978-3-642-31365-3_7zbMATH Open1358.03018OpenAlexW2208390700MaRDI QIDQ2908477FDOQ2908477

Matthias Baaz, Ori Lahav, Anna Zamansky

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_7

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Cited In (2)

• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Finite-valued semantics for canonical labelled calculi

This page was built for publication: Effective Finite-Valued Semantics for Labelled Calculi

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