Bulletin of the Section of Logic: Recent submissions

Now showing items 41-60 of 230

    • Positive Complete Theories and Positive Strong Amalgamation Property 

      Belkasmi, Mohammed (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 

      Płaczek, Paweł (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 

      Orlandelli, Eugenio; Tesi, Matteo (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 

      Kologani, Mona Aaly; Takallo, Mohammad Mohseni; Jun, Young Bae; Borzooei, Rajab Ali (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 

      Celani, Sergio A. (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 

      Sayed Ahmed, Tarek (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 ...

    • SUP-Hesitant Fuzzy Interior Ideals in \(\Gamma\)-Semigroups 

      Khamrot, Pannawit; Gaketem, Thiti (Wydawnictwo Uniwersytetu Łódzkiego, 2024-04-24)
      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 Region-Based Theories of Space: The Case of Whitehead Points 

      Gruszczyński, Rafał (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 

      Saidi Goraghani, Simin; Borzooei, Rajab Ali (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 

      Rezaei, Gholam Reza; Aaly Kologani, Mona (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 

      Mruczek-Nasieniewska, Krystyna; Petrukhin, Yaroslav; Shangin, Vasily (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 

      Mohammadi, Hamzeh (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 

      Adlešić, Tin; Čačić, Vedran (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 

      Coniglio, Marcelo Esteban; de Toledo, Guilherme Vicentin (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 

      Martini, Simone; Masini, Andrea; Zorzi, Margherita (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 

      Walendziak, Andrzej (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 

      Hamidi , Mohammad (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 

      Iranmanesh, Farzad; Ghadiri, Mansour; Borumand Saeid, Arsham (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 

      del Valle-Inclan, Pedro (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 

      Ceragioli, Leonardo (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 ...