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

Now showing items 1-5 of 5

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

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

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

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

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