Symmetric and dual paraconsistent logics

DOI10.12775/LLP.2010.002zbMath1227.03034MaRDI QIDQ3012506

Heinrich Wansing, Norihiro Kamide

Publication date: 6 July 2011

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

completenesssequent calculuscut-eliminationdual paraconsistent logicsymmetric paraconsistent logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Paraconsistent logics (03B53)

Related Items (4)

Modal multilattice logic ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective

This page was built for publication: Symmetric and dual paraconsistent logics