Bulletin of the Section of Logic 55/2 (2026)

Przeglądaj według

Najnowsze pozycje

  • Matrix Semantics for Classical Logic: The Case of the Lattice O6 

    Drozdowska, Ela (Wydawnictwo Uniwersytetu Łódzkiego, 2026-06-10)
    It is well established that classical propositional logic is Boolean. However, this view has recently been challenged. In their paper Non-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: ...

  • Modal Logic of Lattices 

    Hałapacz, Maciej A. (Wydawnictwo Uniwersytetu Łódzkiego, 2026-06-10)
    We prove that the modal logic of lattices with the accessibility relation of being isomorphic to a sublattice is S4.2. The same is proven for modular and distributive lattices.

  • Proof Translations between Label-free and Labeled Sequent Calculi in ISCI 

    Galmiche, Didier; Hornbeck, Brandon; Méry, Daniel (Wydawnictwo Uniwersytetu Łódzkiego, 2026-06-29)
    In this paper we consider the Intuitionistic Sentential Calculus with Identity (ISCI). We study two main families of sequent calculi. The first one, called G3ISCI, is based on a label-free multi-succedent sequent calculus ...

  • Revisiting the Adequacy Theorem for Fragments of Łukasiewicz Logic 

    Pérez-Gaspar, Miguel; Ramírez-Contreras, Juan Manuel; Slagter, Juan Sebastián (Wydawnictwo Uniwersytetu Łódzkiego, 2026-06-10)
    A. V. Figallo introduced the 3-valued Super Łukasiewicz logic expanded with the Δ operator, denoted as C3↣,Δ, in 1990. This operator is used in the definition of 3-valued Łukasiewicz algebras, and it is not possible to ...

  • Topology on Equality Algebras 

    Aaly Kologani, Mona; Niazian, Sogol; Borzooei, Rajab Ali (Wydawnictwo Uniwersytetu Łódzkiego, 2026-06-10)
    In this paper, by special upsets on equality algebras, we construct a topology on bounded equality algebras and investigate some of their topological properties, such as Hausdorff, T0-space, T1-space and disconnected. In ...

  • A Study of a Special Semi Maximal Filters in BL−algebras 

    Atabaki, Motahareh; Bedrood, Mahta; Forouzesh, Fereshteh (Wydawnictwo Uniwersytetu Łódzkiego, 2026-05-22)
    In this article, a specific type of semi maximal filters is introduced, which form a lattice structure. These filters are called J- semi maximal and NJ-semi maximal, and their key properties in BL-algebras are analyzed. ...