Relevance Principle for Substructural Logics with Mingle and Strong Negation
Norihiro Kamide · Journal of Logic and Computation · 2002
We introduce intuitionistic and classical substructural logics with structural rules mingle and connective strong negation, and investigate the cut‐elimination property and the relevance principle for these logics. The relevance principle does not hold for substructural logics with mingle and usual negation, but holds for those with mingle and strong negation.