Effective finite-valued semantics for labelled calculi

DOI10.1007/978-3-642-31365-3_7MaRDI QIDQ2908477zbMATHOpenAlexFDO

Authors 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)

Recommendations

• Finite-valued semantics for canonical labelled calculi
• Labeled calculi and finite-valued logics
• Proof analysis in non-classical logics
• A semantical analysis of cut-free calculi for modal logics
• Labelled Calculi for Łukasiewicz Logics

Cited in

(3)

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

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)