Volume 13 2002

Substructural Logics: A Primer

Authors:

ISBN: 978-90-481-6014-3 (Print) 978-94-017-3179-9 (Online)

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xiii

  2. The Philosophy of Substructural Logics

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-37

      The Role of Structural Rules in Sequent Calculi

  3. The Proof Theory of Substructural Logics

    1. Front Matter

      Pages 39-39

    2. No Access

      Book Chapter

      Pages 41-85

      Basic Proof Systems for Substructural Logics

    3. No Access

      Book Chapter

      Pages 87-113

      Cut Elimination and the Decision Problem

    4. No Access

      Book Chapter

      Pages 115-155

      Other Formalisms

  4. The Algebra of Substructural Logics

    1. Front Matter

      Pages 157-157

    2. No Access

      Book Chapter

      Pages 159-197

      Algebraic Structures

  5. The Semantics of Substructural Logics

    1. Front Matter

      Pages 199-199

    2. No Access

      Book Chapter

      Pages 201-220

      Algebraic Semantics

    3. No Access

      Book Chapter

      Pages 221-255

      Relational Semantics

  6. Back Matter

    Pages 257-305