Browsing Bulletin of the Section of Logic 54/1 (2025) by Issue Date

Now showing items 1-3 of 3

    • Supposition: No Problem for Bilateralism 

      Simonelli, Ryan (Wydawnictwo Uniwersytetu Łódzkiego, 2025-01-08)
      In a recent paper, Nils Kürbis argues that bilateral natural deduction systems in which assertions and denials figure as hypothetical assumptions are unintelligible. In this paper, I respond to this claim on two counts. ...

    • Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations 

      Ayhan, Sara (Wydawnictwo Uniwersytetu Łódzkiego, 2025-05-30)
      In this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, ...

    • Internal and External Calculi: Ordering the Jungle without Being Lost in Translations 

      Lyon, Tim S.; Ciabattoni, Agata; Galmiche, Didier; Girlando, Marianna; Larchey-Wendling, Dominique; Méry, Daniel; Olivetti, Nicola; Ramanayake, Revantha (Wydawnictwo Uniwersytetu Łódzkiego, 2025-06-06)
      This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuitionistic logic, conditional logics, and ...