scientific article; zbMATH DE number 7084824
From MaRDI portal
Publication:5224558
zbMath1418.03126MaRDI QIDQ5224558
Publication date: 24 July 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Paraconsistent logics (03B53)
Related Items
A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)