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
-
Mathematical Methods in Region-Based Theories of Space: The Case of Whitehead Points
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-12-04)Regions-based 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, 2023-12-04)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, 2023-11-20)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, 2024-01-04)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, 2023-12-15)A many-valued 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, 2023-09-28)In this paper, we rigorously prove the existence of type-level 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, 2023-08-16)It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (\(\textit{CABA}\)s) taking a set to its power-set and, conversely, a complete, atomic Boolean algebra to its set of atomic ... -
Cut Elimination for Extended Sequent Calculi
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-09-25)We present a syntactical cut-elimination 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}\) ... -
On Implicative and Positive Implicative GE Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-09-25)GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebrasverifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties ... -
Extended BCK-Ideal Based on Single-Valued Neutrosophic Hyper BCK-Ideals
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-10)This paper introduces the concept of single-valued neutrosophic hyper \(BCK\)-subalgebras as a generalization and alternative of hyper \(BCK\)-algebras and on any given nonempty set constructs at least one single-valued ... -
Fundamental Relation on HvBE-Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-09)In this paper, we are going to introduce a fundamental relation on \(H_{v}BE\)-algebra and investigate some of properties, also construct new \((H_{v})BE\)-algebras via this relation. We show that quotient of any ... -
Harmony and Normalisation in Bilateral Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)In a recent paper del Valle-Inclan and Schlöder argue that bilateral calculi call for their own notion of proof-theoretic harmony, distinct from the usual (or ‘unilateral’) ones. They then put forward a specifically bilateral ... -
Bilateral Rules as Complex Rules
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)Proof-theoretic semantics is an inferentialist theory of meaning originally developed in a unilateral framework. Its extension to bilateral systems opens both opportunities and problems. The problems are caused especially ... -
Supposition: A Problem for Bilateralism
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we ... -
Fractional-Valued Modal Logic and Soft Bilateralism
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-16)In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) ... -
Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-09-30) -
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension ... -
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A ... -
Core Type Theory
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-16)Neil Tennant’s core logic is a type of bilateralist natural deduction system based on proofs and refutations. We present a proof system for propositional core logic, explain its connections to bilateralism, and explore the ... -
Structural Rules in Natural Deduction with Alternatives
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-06-25)Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion ...