Relevance Principle for Substructural Logics with Mingle and Strong Negation

DOI10.1093/logcom/12.6.913zbMath1017.03010OpenAlexW2014027996MaRDI QIDQ4796457

Norihiro Kamide

Publication date: 24 August 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/12.6.913

zbMATH Keywords

cut eliminationLambek calculuslinear logicsubstructural logicsrelevance principle

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Gentzen-type methods for bilattice negation

This page was built for publication: Relevance Principle for Substructural Logics with Mingle and Strong Negation