Przeglądaj Bulletin of the Section of Logic 55/2 (2026) według daty wydania

Wyświetlanie pozycji 1-6 z 6

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

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

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