Skip to main content
SpringerLink
Log in

Substructural Logics with Mingle

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

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

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Anderson, A.R. and Belnap, Jr., N.D., 1975, Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton, NJ: Princeton University Press.

    Google Scholar 

  • Avron, A., 1997, “Multiplicative conjunction as an extensional conjunction,” Logic Journal of the IGPL 5, 181–208.

    Google Scholar 

  • Bayu S. and Ono, H., 1996, “Cut elimination in noncommutative substructural logics,” Reports on Mathematical Logic 30, 13–29.

    Google Scholar 

  • Girard, J.-Y., 1987, “Linear logic,” Theoretical Computer Science 50, 1–102.

    Google Scholar 

  • Hori, R., Ono, H. and Schellinx, H., 1994, “Extending intuitionistic linear logic with knotted structural rules,” Notre Dame Journal of Formal Logic 35, 219–242.

    Google Scholar 

  • Kashima, R. and Kamide. N., 1997, “A family of substructural implicational logics,” JAIST Research Report, ftp://logic.jaist.ac.jp/pub/papers/kashima/kashima1.dvi.gz

  • Kashima, R. and Kamide, N., 1999, “Substructural implicational logics including the relevant logic E,” Studia Logica 63, 181–212.

    Google Scholar 

  • Lambek, J., 1988a, “The mathematics of sentence structure,” pp. 154–170 in Categorial Grammar, Linguistic and Literary Studies in Eastern Europe 25, W. Buszkowski, W. Marciszewski, and J. van Benthem, eds., Amsterdam: John Benjamins (Offprint).

    Google Scholar 

  • Lambek, J., 1988b, “Categorial and categorical grammars,” pp. 297–317 in Categorial Grammars and Natural Language Structures, SLAP 32, R.T. Oehrle, ed., Dordrecht: D. Reidel.

    Google Scholar 

  • Ohnishi, M. and Matsumoto, K., 1964, “A system for strict implication,” Annals of the Japan Association for Philosophy of Science 2, 183–188.

    Google Scholar 

  • Ono, H., 1993, “Semantics for substructural logics,” pp. 259–291 in Substructural Logics, K. Došen and P. Schroeder-Heister, eds., Oxford: Oxford University Press.

    Google Scholar 

  • Ono, H., 1998, “Proof-theoretic methods in nonclassical logic — An introduction,” MSJ Memoirs 2, 207–254.

    Google Scholar 

  • Takeuti, G., 1987, Proof Theory, 2nd edn., Amsterdam: North-Holland.

    Google Scholar 

  • Troelstra, A.S., 1992, Lectures on Linear Logic, CSLI Lecture Notes, Vol. 29, Stanford, CA: CSLI.

    Google Scholar 

  • Urquhart, A., 1972, “Semantics for relevant logics,” The Journal of Symbolic Logic 37, 159–169.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Wakayama National College of Technology, Noshima 77, Nada, Gobo, Wakayama, 644-0023, Japan

    Norihiro Kamide

Authors
  1. Norihiro Kamide
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kamide, N. Substructural Logics with Mingle. Journal of Logic, Language and Information 11, 227–249 (2002). https://doi.org/10.1023/A:1017586008091

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1017586008091

Search

Navigation