Effective finite-valued semantics for labelled calculi

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

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

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

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 (3)

• Labeled calculi and finite-valued logics
• 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)