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

Przeglądaj według

 

Najnowsze pozycje

  • Semi-Substructural Logics à la Lambek with Symmetry 

    Wan, Cheng-Syuan (Wydawnictwo Uniwersytetu Łódzkiego, 2026-03-13)
    This work studies the proof theory and ternary relational semantics of left (right) skew monoidal closed categories and skew monoidal bi-closed categories, both symmetric and non-symmetric, from the perspective of ...

  • Agent-Knowledge Logic for Alternative Epistemic Logic 

    Nishimura, Yuki (Wydawnictwo Uniwersytetu Łódzkiego, 2026-03-13)
    Epistemic logic is known as a logic that captures the knowledge and beliefs of agents and has undergone various developments. In this paper, we propose a new logic called agent-knowledge logic by taking the product of ...

  • Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic 

    Płaczek, Paweł (Wydawnictwo Uniwersytetu Łódzkiego, 2026-03-13)
    The Nonassociative Lambek Calculus (NL) represents a logic devoid of the structural rules of exchange, weakening, and contraction, and it does not presume the associativity of its connectives. Its finitary consequence ...

  • Qualified Definiteness 

    Więckowski, Bartosz (Wydawnictwo Uniwersytetu Łódzkiego, 2026-03-13)
    According to Russell, the definite article ‘the’ in a definite description ‘the F’ is used strictly in case there is a unique F and it is used loosely in case there is more than one F. Russell’s analysis of constructions ...

  • Preface: Non-Classical Logics. Theory and Applications (Part II) 

    Zawidzki, Michał (Wydawnictwo Uniwersytetu Łódzkiego, 2026-03-13)