Bulletin of the Section of Logic 54/1 (2025)

Przeglądaj według

 

Najnowsze pozycje

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

  • 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, ...

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