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
-
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 ... -
Dialogical Ecumenism
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-11-28)Ecumenical logics are systems where two logics can coexist, sharing vocabulary and avoiding collapses between them. The literature has focused mainly on ecumenism between classical and intuitionistic logic, and several ... -
Continua of Logics Related to Intuitionistic and Minimal Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-07-07)We analyze the relationship between logics around intuitionistic logic and minimal logic. We characterize the intersection of minimal logic and co-minimal logic introduced by Vakarelov, and reformulate logics given in the ... -
Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-11-27)A unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced. The framework unifies Gentzen-style single-succedent sequent calculi ... -
Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-07-02)Gentzen-style sequent calculi and Gentzen-style natural deduction systems are introduced for a family (C-family) of connexive logics over Wansing’s basic constructive connexive logic C. The C-family is derived from C by ... -
Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-09-18)In this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al. (2020) ... -
Preface: Non-Classical Logics. Theory and Applications (Part I)
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-06-30) -
Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-05-30)In this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, ... -
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-06-06)This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuitionistic logic, conditional logics, and ... -
Supposition: No Problem for Bilateralism
(Wydawnictwo Uniwersytetu Łódzkiego, 2025-01-08)In a recent paper, Nils Kürbis argues that bilateral natural deduction systems in which assertions and denials figure as hypothetical assumptions are unintelligible. In this paper, I respond to this claim on two counts. ... -
\(\mathcal{L}\)−weakly 1−Absorbing Prime Ideals and Filters
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-11-14)In this manuscript, we have presented the concept of \(\mathcal{L}\)-weakly 1-absorbing prime ideals and \(\mathcal{L}\)-weakly 1-absorbing prime filters within an ADL. Mainly, we illustrate the connections between ... -
Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-06-24)The paper studies extensions of t-normal logics S0.5o and S0.5 obtained by means of some axioms of normal logics. We will prove determination theorems for these extensions by appropriate Kripke-style models. It will allow ...