scientific article; zbMATH DE number 1932898
From MaRDI portal
Publication:4709816
zbMath1028.03022MaRDI QIDQ4709816
Publication date: 22 January 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cut eliminationsubstructural logicparaconsistent logicGentzen-style calculuscomparative logicAbelian logic
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