Bulletin of the Section of Logic: Ostatnio dodane

Wyświetlanie pozycji 1-20 z 230

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

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

    • From Translations to Non-Collapsing Logic Combinations 

      Rasga, João; Sernadas, Cristina (Wydawnictwo Uniwersytetu Łódzkiego, 2025-11-28)
      Prawitz suggested expanding a natural deduction system for intuitionistic logic to include rules for classical logic constructors, allowing both intuitionistic and classical elements to coexist without losing their inherent ...

    • On Generalization of Modular Lattices 

      Stocka, Agnieszka (Wydawnictwo Uniwersytetu Łódzkiego, 2025-11-28)
      We introduce the concepts of dually balanced lattices and \(M\)-lattices and provide some basic properties of these classes of lattices. Both classes can be viewed as generalizations of the well-known class of modular ...

    • On Involutive Weak Exchange Algebras 

      Walendziak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2025-11-28)
      In this paper, involutive weak exchange algebras (for short, involutive WE algebras) are introduced and studied. Their properties and characterizations are investigated. Some important results and examples are given. In ...

    • Some Results Concerning Axioms for Equivalential Calculus 

      Czakon, Marcin (Wydawnictwo Uniwersytetu Łódzkiego, 2025-07-02)
      One of the most important questions in the area of the equivalential calculus (EC) currently is the issue of the single shortest axiom. We show some new a single organic and inorganic axioms for EC which are either D-complete ...