Skip to main content
SpringerLink
Log in

Substructural logics

Kosta Došen and Peter Schroeder-Heister (eds.), Studies in Logic and Computation Vol. 2, Oxford UP, Oxford, 1993

  • Review Article
  • Published:
Erkenntnis Aims and scope Submit manuscript

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

References

  1. Anderson, A. R., N. Belnap, and J.M. Dunn: 1992, Entailment: The Logic of Relevance and Necessity. Vol. II, Princeton University Press, Princeton.

    Google Scholar 

  2. Belnap, N.: 1982, ‘Display Logic’, Journal of Philosophical Logic 11, 375–417.

    CAS  PubMed  Google Scholar 

  3. Belnap, N.: 1990, ‘Linear Logic Displayed’, Notre Dame Journal of Formal Logic 31, 14–25.

    Google Scholar 

  4. Belnap, N.: 1996, ‘The Display Problem’, in: H. Wansing (ed.), Proof Theory of Modal Logic, Kluwer Academic Publishers, Dordrecht.

    Google Scholar 

  5. van Benthem, J.: 1991, Language in Action. Categories, Lambdas and Dynamic Logic, North-Holland, Amsterdam.

    Google Scholar 

  6. Gentzen, G.: 1934, ‘Untersuchungen über das logische Schließen’, Mathematische Zeitschrift 39, I 176–210, II 405–431.

    Google Scholar 

  7. Girard, J.-Y.: 1987, ‘Linear Logic’, Theoretical Computer Science 50, 1–102.

    Article  MATH  Google Scholar 

  8. Girard, J.-Y., P. Taylor and Y. Lafont: 1989, Proofs and Types, Cambridge University Press, Cambridge.

    Google Scholar 

  9. Hendriks, H.: 1993, Studied Flexibility. Categories and Types in Syntax and Semantics, PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam.

  10. Moortgat, M.: 1988, Categorial Investigations, Foris, Dordrecht.

    Google Scholar 

  11. Morrill, G.: 1994, Type Logical Grammar, Kluwer Academic Publishers, Dordrecht.

    Google Scholar 

  12. Prijatelj, A.: 1995, Investigating Bounded Contraction, PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam.

  13. Roorda, D.: 1991, Resource Logics, PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam.

  14. Schellinx, H.: 1994, The Noble Art of Linear Decorating, PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam.

  15. Troelstra, A.: 1992, Lectures on Linear Logic, CSLI Lecture Notes 29, CSLI, Stanford.

    Google Scholar 

  16. Wansing, H.: 1993, The Logic of Information Structures, Springer Lecture Notes in AI 681, Springer-Verlag, Berlin.

    Google Scholar 

  17. Wansing, H.: 1994, ‘Sequent Calculi for Normal Modal Propositional Logics’, Journal of Logic and Computation 4, 125–142.

    Google Scholar 

  18. Wansing, H.: ‘Strong Cut-elimination in Display Logic’, to appear in: Reports on Mathematical Logic.

Download references

Author information

Authors and Affiliations

  1. Institute of Logic and Philosophy of Science, University of Leipzig, Augustusplatz 9, 04109, Leipzig, Germany

    Heinrich Wansing

Authors
  1. Heinrich Wansing
    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

Wansing, H. Substructural logics. Erkenntnis 45, 115–118 (1996). https://doi.org/10.1007/BF00226374

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00226374

Keywords

Search

Navigation