Oxford Journals
tools journals homepage advanced search contact help
Journal of Logic and Computation: Current Issue

OUP > Journals > Computing/Engineer. & Mathematics/Stats. > Journal of Logic and Computation

Journal of Logic and Computation

Volume 12, Issue 6, December 2002: pp. 913-928

Relevance Principle for Substructural Logics with Mingle and Strong Negation

Norihiro Kamide1

1Wakayama National College of Technology, Noshima 77, Nada, Gobo, Wakayama 644-0023 Japan. E-mail: kamide@wakayama-nct.ac.jp

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.

Keywords: Substructural logic; MALL+MIX; mingle; strong negation; relevance principle

Table of Contents   Full-Text PDF (128 KB)

Oxford University Press
Published by Oxford University Press
Copyright ©Oxford University Press 2003
Print ISSN: 0955-792X  Online ISSN: 1465-363X.
Oxford University Press Privacy Policy and Legal Statement