Substructural logics with Mingle

We introduce structural rules mingle, and investigatetheorem-equivalence, cut- eliminability, decidability, interpolabilityand variable sharing property for sequent calculi having the mingle.These results include new cut-elimination results for the extendedlogics: FLm (full Lambek logic with the mingle), GLm(Girard's linear logic with the mingle) and Lm (Lambek calculuswith restricted mingle).
Keywords cut-elimination  Lambek calculus  linear logic  mingle rule
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1017586008091
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,694
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
R and Relevance Principle Revisited.Eunsuk Yang - 2013 - Journal of Philosophical Logic 42 (5):767-782.

Add more citations

Similar books and articles
A Note on ${\Bf R}$-Mingle and Sobociński's Three-Valued Logic.R. Zane Parks - 1972 - Notre Dame Journal of Formal Logic 13 (2):227-228.
Erratum To: The Compatibility of Relevance and Mingle. [REVIEW]José M. Méndez - 2010 - Journal of Philosophical Logic 39 (3):339-339.
Normal Modal Substructural Logics with Strong Negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
The Compatibility of Relevance and Mingle.José M. Méndez - 1988 - Journal of Philosophical Logic 17 (3):279 - 297.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
Added to PP index

Total downloads
19 ( #267,255 of 2,197,230 )

Recent downloads (6 months)
1 ( #298,376 of 2,197,230 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature