Przeglądaj Bulletin of the Section of Logic 52/3 (2023) według daty wydania

Wyświetlanie pozycji 1-5 z 5

    • 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)