Substructural logics with Mingle

Journal of Logic, Language and Information 11 (2):227-249 (2002)
  Copy   BIBTEX

Abstract

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).

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1017586008091

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Algebraic completeness results for r-Mingle and its extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.
The compatibility of relevance and Mingle.José M. Méndez - 1988 - Journal of Philosophical Logic 17 (3):279 - 297.
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
Erratum to: The compatibility of relevance and Mingle. [REVIEW]José M. Méndez - 2010 - Journal of Philosophical Logic 39 (3):339-339.
Multiplicative conjunction and an algebraic meaning of contraction and weakening.A. Avron - 1998 - Journal of Symbolic Logic 63 (3):831-859.
Substructural implicational logics including the relevant logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.

Analytics

Added to PP
2009-01-28

Downloads
49 (#325,763)

6 months
4 (#796,002)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

R and Relevance Principle Revisited.Eunsuk Yang - 2013 - Journal of Philosophical Logic 42 (5):767-782.
Non-transitive Correspondence Analysis.Yaroslav Petrukhin & Vasily Shangin - 2023 - Journal of Logic, Language and Information 32 (2):247-273.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Proof complexity of substructural logics.Raheleh Jalali - 2021 - Annals of Pure and Applied Logic 172 (7):102972.
Logic and Majority Voting.Ryo Takemura - 2021 - Journal of Philosophical Logic 51 (2):347-382.

View all 7 citations / Add more citations

References found in this work

Proof theory.Gaisi Takeuti - 1976 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
Semantics for relevant logics.Alasdair Urquhart - 1972 - Journal of Symbolic Logic 37 (1):159-169.
Lectures on Linear Logic.Anne Sjerp Troelstra - 1992 - Center for the Study of Language and Information Publications.
Extending intuitionistic linear logic with knotted structural rules.R. Hori, H. Ono & H. Schellinx - 1994 - Notre Dame Journal of Formal Logic 35 (2):219-242.

View all 8 references / Add more references