Bulletin of the Section of Logic
Browse by
The "Bulletin of the Section of Logic" (BSL) is a quarterly peerreviewed 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 newsletterjournal designed for the exchange of scientific results among members of the Section with their national and international partners and colleagues. The first editorinchief 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 peerreviewed 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: 01380680
eISSN: 2449836X
Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
Format: Open Access (licencja CC BYNCND)
Ukazuje się od: 1972 r.
Strona internetowa czasopisma / Journal website
Collections in this community
Recent Submissions

About Logically Probable Sentences
(Wydawnictwo Uniwersytetu Łódzkiego, 20240423)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, 20240520)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 PreHilbert and Positive Implicative PreHilbert Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20240520)In the paper, preHilbert algebras are defined as a generalization of Hilbert algebras (namely, a Hilbert algebra is just a preHilbert algebra satisfying the property of antisymmetry). PreHilbert algebras have been ... 
On Combining Intuitionistic and S4 Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20240605)We address the problem of combining intuitionistic and S4 modal logic in a noncollapsing 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, 20240520)We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of prooftheoretic semantics. We argue that the identity connective is a natural operator to be ... 
Positive Complete Theories and Positive Strong Amalgamation Property
(Wydawnictwo Uniwersytetu Łódzkiego, 20240604)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, 20240424)Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is MultiplicativeAdditive Linear Logic (MALL), which forms the exponentialfree ... 
A Syntactic Proof of the Decidability of FirstOrder Monadic Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20240209)Decidability of monadic firstorder 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 SubEquality Algebras Based on Fuzzy Points
(Wydawnictwo Uniwersytetu Łódzkiego, 20231218)In this paper, by using the notion of fuzzy points and equality algebras, the notions of fuzzy point equality algebra, equalitysubalgebra, and ideal were established. Some characterizations of fuzzy subalgebras were ... 
Some Logics in the Vicinity of Interpretability Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 20231122)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, 20240212)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 ... 
SUPHesitant Fuzzy Interior Ideals in \(\Gamma\)Semigroups
(Wydawnictwo Uniwersytetu Łódzkiego, 20240424)In this paper, we defined the concept \(\mathcal{SUP}\)hesitant fuzzy interior ideals in \(\Gamma\)semigroups, which is generalized of hesitant fuzzy interior ideals in \(\Gamma\)semigroups. Additionally, we study ... 
Mathematical Methods in RegionBased Theories of Space: The Case of Whitehead Points
(Wydawnictwo Uniwersytetu Łódzkiego, 20231204)Regionsbased theories of space aim—among others—to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are ... 
\(L\)Modules
(Wydawnictwo Uniwersytetu Łódzkiego, 20231204)In this paper, considering \(L\)algebras, which include a significant number of other algebraic structures, we present a definition of modules on \(L\)algebras (\(L\)modules). Then we provide some examples and obtain ... 
Stabilizers on \(L\)algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20231120)The main goal of this paper is to introduce the notion of stabilizers in \(L\)algebras and develop stabilizer theory in \(L\)algebras. In this paper, we introduced the notions of left and right stabilizers and investigated ... 
On Paracomplete Versions of Jaśkowski's Discussive Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20240104)Jaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the ... 
Linear Abelian Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20231215)A manyvalued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal ... 
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU
(Wydawnictwo Uniwersytetu Łódzkiego, 20230928)In this paper, we rigorously prove the existence of typelevel ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal ... 
A Category of Ordered Algebras Equivalent to the Category of Multialgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20230816)It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (\(\textit{CABA}\)s) taking a set to its powerset and, conversely, a complete, atomic Boolean algebra to its set of atomic ... 
Cut Elimination for Extended Sequent Calculi
(Wydawnictwo Uniwersytetu Łódzkiego, 20230925)We present a syntactical cutelimination proof for an extended sequent calculus covering the classical modal logics in the \(\mathsf{K}\), \(\mathsf{D}\), \(\mathsf{T}\), \(\mathsf{K4}\), \(\mathsf{D4}\) and \(\mathsf{S4}\) ...