Bulletin of the Section of Logic: Ostatnio dodane

Wyświetlanie pozycji 1-20 z 239

    • A Note on the Number of Subnormal Modal Logics 

      Michalczenia, Patryk (Wydawnictwo Uniwersytetu Łódzkiego, 2026-09-08)
      In the article we discuss the notion of a subnormal modal logic and, in particular, the notion of an intermediate subnormal modal logic. The goal of the article is to determine the cardinality of the set of all intermediate ...

    • Pre-Hilbert Algebras with Condition (GE3) 

      Rezaei, Akbar; Borumand Saeid, Arsham (Wydawnictwo Uniwersytetu Łódzkiego, 2026-09-08)
      GE-algebras are introduced as a generalization of Hilbert algebras in 2020. In this paper, we show that a self distributive GE-algebra is equivalent to the pimpl-RML algebra, and a transitive GE algebra is equivalent to ...

    • Valuation on L-Algebras 

      Borzooei, Rajab Ali; Aaly Kologani, Mona; Mohseni Takallo, Mohammad; Xin, Xiao Long (Wydawnictwo Uniwersytetu Łódzkiego, 2026-09-07)
      The purpose of this paper is to define the notion of valuation map on \(L\)-algebras and introduce its properties. For this, the concepts of  valuation and 1-valuation maps are introduced and some characterizations and ...

    • Perfect and Local Bounded Equality Algebras 

      Niazian, Sogol; Aaly Kologani, Mona; Jun, Young Bae; Borzooei, Rajab Ali (Wydawnictwo Uniwersytetu Łódzkiego, 2026-09-07)
      In this paper, by considering the notion of bounded equality algebra, we introduce the concepts of perfect, integral and local bounded equality algebras and we state and prove some related results. Specially, we define the ...

    • On Certain Completeness Results for S4.2 Modal Logic and Its Applications in Modal Logics of Classes of Structures 

      Hałapacz, Maciej A. (Wydawnictwo Uniwersytetu Łódzkiego, 2026-09-07)
      In this paper, we obtain new classes of Kripke frames complete for the modal logic S4.2, through the means of the so-called control statements. We provide applications of the theorem in the field of modal logics of classes ...

    • Double Equivalential Algebras 

      Przybyło, Sławomir (Wydawnictwo Uniwersytetu Łódzkiego, 2026-09-04)
      In this paper, we introduce the notion of double equivalential algebras, defined as subreducts of double Heyting algebras with respect to the equivalence and dual equivalence operations. We establish the fundamental ...

    • Radical and Jacobson Radical in L-Algebras 

      Borzooei, Rajab Ali; Khajeh Nasir, Hamideh; Yavari, Mehdi (Wydawnictwo Uniwersytetu Łódzkiego, 2026-09-03)
      In this paper, inspired by the concepts of the radical of an ideal and the Jacobson radical in ring theory, we introduce these notions in the context of L-algebras. Our main goal is to explore the nature of the radical of ...

    • Applications of Commutators in Pseudo BL-Algebras 

      Najafi, Ardavan; Borumand Saeid, Arsham (Wydawnictwo Uniwersytetu Łódzkiego, 2026-08-27)
      In this paper, the concepts of commutativity relation, commutant of a subset, center and solvable pseudo BL-algebras are defined and their properties are investigated. The notion of n-Engel pseudo BL-algebras as a natural ...

    • Some New Kinds of BCK-Filters in Bounded BCK-Algebras 

      Khosravi Shoar, Sadegh; Borzooei, Rajab Ali (Wydawnictwo Uniwersytetu Łódzkiego, 2026-08-19)
      This paper investigates and characterizes some new types of BCK-filters in bounded BCK-algebras. We introduce the notions of EQI-filters, implicative BCK-filters, and commutative BCK-filters. We clarify the relationships ...

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

    • Bridging Classical and Modern Approaches to Thales' Theorem 

      Błaszczyk, Piotr; Petiurenko, Anna (Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-24)
      In this paper, we reconstruct Euclid’s theory of similar triangles, as developed in Book VI of the Elements, along with its 20th-century counterparts, formulated within the systems of Hilbert, Birkhoff, Borsuk and Szmielew, ...

    • Classical Logic, Uniformity, and Weak Excluded Middle in Non-Monotonic Proof-Theoretic Semantics 

      Piccolomini d’Aragona, Antonio (Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-24)
      Non-monotonic base-extension semantics (nB-eS), a kind of non-monotonic proof-theoretic semantics (nPTS), is known to validate classical logic when its meta-logic is classical. Schroeder-Heister has remarked that classical ...

    • An Elementary Proof of the Characterization Theorem for Conjunctive Multiple-Conclusion Consequence Relations 

      Taşdelen, İskender (Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-15)
      We give a characterization theorem for multiple-conclusion consequence relations with the conjunctive reading of conclusions. As in the case of disjunctive multiple-conclusion consequence relations, we define consequence ...

    • The Amalgamation Property in the Variety of Regular Double Stone Algebras: A Constructive View 

      Ledda, Antonio; Sankappanavar, Hanamantagouda P.; Vergottini, Gandolfo (Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-24)
      In this paper we give a constructive proof that the variety of Boolean algebras has the strong amalgamation property by describing constructively the strong amalgams in the variety. Then, capitalizing on this construction, ...

    • A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic 

      Fjellstad, Andreas (Wydawnictwo Uniwersytetu Łódzkiego, 2026-04-24)
      This paper presents a sequent calculus for Inquisitive Propositional Logic obtained by expanding the sequent calculus g3ip for intuitionistic propositional logic with suitable rules for double negation elimination for atoms ...