scientific article; zbMATH DE number 6930420

zbMath1393.03049MaRDI QIDQ4583744

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/

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (2)

Derivability and metainferential validity ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS

This page was built for publication: