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
-
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 ... -
Hilbert Algebras with Hilbert-Galois Connections II
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-12-09)Hilbert algebra with a Hilbert-Galois connection, or HilGC-algebra, is a triple \(\left(A,ƒ,g\right)\) where \(A\) is a Hilbert algebra, and \(f\) and \(g\) are unary maps on \(A\) such that \(f(a)\leq b\) iff \(a\leq ... -
D-complete Single Axioms for the Equivalential Calculus with the rules D and R
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-11-05)Ulrich showed that most of the known axiomatisations of the classical equivalence calculus (EC) are D-incomplete, that is, they are not complete with the condensed detachment rule (D) as the primary rule of the proof ... -
Open Filters and Congruence Relations on Self-Distributive Weak Heyting Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-06-21)In this paper, we study (open) filters and deductive systems of self-distributive weak Heyting algebras (SDWH-algebras) and obtain some results which determine the relationship between them. We show that the variety of ... -
Exploring the Definition of Non-Monotonicity – Logical and Psychological Considerations
; Rudnicki, Konrad
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-10-08)
When humans reason, they are able to revise their beliefs in light of new information and abandon obsolete conclusions. Logicians argued, that in some cases, such reasonings appear to be non-monotonic. Thus, many different, ... -
About Logically Probable Sentences
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-04-23)The starting point of this paper is the empirically determined ability to reason in natural language by employing probable sentences. A sentence is understood to be logically probable if its schema, expressed as a formula ... -
Free Spectra of Equivalential Algebras with Conjunction on Dense Elements
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-05-20)We construct free algebras in the variety generated by the equivalential algebra with conjunction on dense elements and compute the formula for the free spectrum of this variety. Moreover, we describe the decomposition of ... -
On Pre-Hilbert and Positive Implicative Pre-Hilbert Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-05-20)In the paper, pre-Hilbert algebras are defined as a generalization of Hilbert algebras (namely, a Hilbert algebra is just a pre-Hilbert algebra satisfying the property of antisymmetry). Pre-Hilbert algebras have been ... -
On Combining Intuitionistic and S4 Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-06-05)We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic. The combined language includes the shared constructors ... -
Meaning is Use: the Case of Propositional Identity
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-05-20)We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics. We argue that the identity connective is a natural operator to be ... -
Positive Complete Theories and Positive Strong Amalgamation Property
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-06-04)We introduce the notion of positive strong amalgamation property and we investigate some universal forms and properties of this notion.Considering the close relationship between the amalgamation property and the notion of ... -
Sequent Systems for Consequence Relations of Cyclic Linear Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-04-24)Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free ... -
A Syntactic Proof of the Decidability of First-Order Monadic Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-02-09)Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided. In the present paper we introduce a ... -
Fuzzy Sub-Equality Algebras Based on Fuzzy Points
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-12-18)In this paper, by using the notion of fuzzy points and equality algebras, the notions of fuzzy point equality algebra, equality-subalgebra, and ideal were established. Some characterizations of fuzzy subalgebras were ... -
Some Logics in the Vicinity of Interpretability Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-11-22)In this paper we shall define semantically some families of propositional modal logics related to the interpretability logic \(\mathbf{IL}\). We will introduce the logics \(\mathbf{BIL}\) and \(\mathbf{BIL}^{+}\) in the ... -
Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-02-12)We redefine a system of varieties definable by a schema of equations to include finite dimensions. Then we present a technique using ultraproducts enabling one to lift results proved for every finite dimension to the ...