scientific article; zbMATH DE number 6287619
From MaRDI portal
Publication:5411466
zbMath1286.03084MaRDI QIDQ5411466
Publication date: 23 April 2014
Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/39_12_4.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Related Items (14)
Cut elimination, identity elimination, and interpolation in super-Belnap logics ⋮ Metasequents and tetravaluations ⋮ Derivability and metainferential validity ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Inferential constants ⋮ The original sin of proof-theoretic semantics ⋮ What is a Paraconsistent Logic? ⋮ ST, LP and Tolerant Metainferences ⋮ Some Comments and Replies ⋮ A family of metainferential logics ⋮ A hierarchy of classical and paraconsistent logics ⋮ A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES ⋮ Metainferential duality
This page was built for publication:
