Studying sequent systems via non-deterministic multiple-valued matrices

MaRDI QIDQ4583744zbMATH OpenFDO

Authors Ori Lahav

Publication date 3 September 2018

Full work available at URL http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-21-number-5-6-2013/mvlsc-21-5-6-p-575-595/

zbMATH Keywords

proof theorycut-eliminationsequent systemsmultiple-valued logicsnon-deterministic semanticssemantic proofs

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Multi-valued Calculi for Logics Based on Non-determinism
• Non-deterministic Multiple-valued Structures
• Logical non-determinism as a tool for logical modularity: an introduction
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics
• Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination

Cited in

(5)

• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
• Non-deterministic Multiple-valued Structures
• Converting non-classical matrix proofs into sequent-style systems
• Multi-valued Calculi for Logics Based on Non-determinism
• Derivability and metainferential validity

This page was built for publication: Studying sequent systems via non-deterministic multiple-valued matrices

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