Labeled calculi and finite-valued logics
From MaRDI portal
Publication:1580658
DOI10.1023/A:1005022012721zbMath0963.03039MaRDI QIDQ1580658
Richard Zach, Christian G. Fermüller, Matthias Baaz, Gernot Salzer
Publication date: 25 June 2001
Published in: Studia Logica (Search for Journal in Brave)
Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Abstract deductive systems (03B22)
Related Items
Canonical signed calculi with multi-ary quantifiers ⋮ Herzberger's limit rule with labelled sequent calculus ⋮ Two-sided sequent calculi for \textit{FDE}-like four-valued logics ⋮ The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) ⋮ Partial and paraconsistent three-valued logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination ⋮ Effective Finite-Valued Approximations of General Propositional Logics ⋮ Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism ⋮ Truth-values as labels: a general recipe for labelled deduction ⋮ Finite-valued semantics for canonical labelled calculi ⋮ The logics of strict-tolerant logic ⋮ Cut-elimination and quantification in canonical systems
