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

Recent Submissions

  • Harmony and Normalisation in Bilateral Logic 

    del Valle-Inclan, Pedro (Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)
    In a recent paper del Valle-Inclan and Schlöder argue that bilateral calculi call for their own notion of proof-theoretic harmony, distinct from the usual (or ‘unilateral’) ones. They then put forward a specifically bilateral ...

  • Bilateral Rules as Complex Rules 

    Ceragioli, Leonardo (Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)
    Proof-theoretic semantics is an inferentialist theory of meaning originally developed in a unilateral framework. Its extension to bilateral systems opens both opportunities and problems. The problems are caused especially ...

  • Supposition: A Problem for Bilateralism 

    Kürbis, Nils (Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)
    In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we ...

  • Fractional-Valued Modal Logic and Soft Bilateralism 

    Piazza, Mario; Pulcini, Gabriele; Tesi, Matteo (Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-16)
    In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) ...

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

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