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

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

Full Issue

  • Structural Rules in Natural Deduction with Alternatives

    Greg Restall (Author)
    109-143
    DOI: https://doi.org/10.18778/0138-0680.2023.6

  • Core Type Theory

    Emma van Dijk, David Ripley, Julian Gutierrez (Author)
    145-186
    DOI: https://doi.org/10.18778/0138-0680.2023.19

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

    Sara Ayhan, Heinrich Wansing (Author)
    187-237
    DOI: https://doi.org/10.18778/0138-0680.2023.18

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

    Alexander V. Gheorghiu, David J. Pym (Author)
    239-266
    DOI: https://doi.org/10.18778/0138-0680.2023.16

Editorial

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

    Sara Ayhan (Author)
    101–108
    DOI: https://doi.org/10.18778/0138-0680.2023.12