Bulletin of the Section of Logic 52/2 (2023)

 

Recent Submissions

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

    Gheorghiu, Alexander V.; Pym, David J. (Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)
    Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension ...

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

    Ayhan, Sara; Wansing, Heinrich (Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)
    We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A ...

  • Core Type Theory 

    van Dijk, Emma; Ripley, David; Gutierrez, Julian (Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-16)
    Neil Tennant’s core logic is a type of bilateralist natural deduction system based on proofs and refutations. We present a proof system for propositional core logic, explain its connections to bilateralism, and explore the ...

  • Structural Rules in Natural Deduction with Alternatives 

    Restall, Greg (Wydawnictwo Uniwersytetu Łódzkiego, 2023-06-25)
    Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion ...

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

    Ayhan, Sara (Wydawnictwo Uniwersytetu Łódzkiego, 2023-06-30)