Book review of: N. Kamide and H. Wansing, Proof theory of N4-related paraconsistent logics
From MaRDI portal
Publication:2363509
DOI10.1007/s11225-017-9729-9zbMath1453.00010MaRDI QIDQ2363509
Publication date: 19 July 2017
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-017-9729-9
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03F05: Cut-elimination and normal-form theorems
03B50: Many-valued logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03F03: Proof theory in general (including proof-theoretic semantics)
03B20: Subsystems of classical logic (including intuitionistic logic)
03B53: Paraconsistent logics
00A17: External book reviews