RSS 1.0Bulletin of the Section of Logic
Przeglądaj według
The "Bulletin of the Section of Logic" (BSL) is a quarterly peer-reviewed journal published with the support of the Lodz University Press. The BSL was founded in 1972 by Ryszard Wójcicki, Head of the Section of Logic of the Polish Academy of Sciences, then based in Wrocław, as a newsletter-journal designed for the exchange of scientific results among members of the Section with their national and international partners and colleagues. The first editor-in-chief of the BSL was Jan Zygmunt, who supervised the editorial process of the first six issues of the journal. In 1973 the role was taken over by Marek Tokarz. From 1975 to 2018 the journal was managed and edited by Grzegorz Malinowski. In 1992 the Department of Logic at the University of Łódź took over the publication from the Polish Academy of Sciences changing its policy into regular peer-reviewed journal. The aim of the Bulletin is to act as a forum for the prompt wide dissemination of original, significant results in logic through rapid publication. The BSL welcomes especially contributions dealing directly with logical calculi, their methodology, application and algebraic interpretations.
Nazwa: Bulletin of the Section of Logic
ISSN: 0138-0680
e-ISSN: 2449-836X
Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
Format: Open Access (licencja CC BY-NC-ND)
Ukazuje się od: 1972 r.
Strona internetowa czasopisma / Journal website
Kolekcje w tym zbiorze
Najnowsze pozycje
-
Matrix Semantics for Classical Logic: The Case of the Lattice O6
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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)
(Wydawnictwo Uniwersytetu Łódzkiego, 2026-03-13) -
From Translations to Non-Collapsing Logic Combinations
(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
(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
(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
(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 ...