Vol. 52 No. 2 (2023): Special issue: Bilateralism and Proof-Theoretic Semantics (Part I)

Published: 2023-06-30

Full Issue

• PDF

Research Article

• Structural Rules in Natural Deduction with Alternatives

  Greg Restall (Author)

  109-143

  • PDF

• Core Type Theory

  Emma van Dijk, David Ripley, Julian Gutierrez (Author)

  145-186

  • PDF

• On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)

  Sara Ayhan, Heinrich Wansing (Author)

  187-237

  • PDF

• Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic

  Alexander V. Gheorghiu, David J. Pym (Author)

  239-266

  • PDF

Editorial

• Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)

  Sara Ayhan (Author)

  101–108

  • PDF