Bulletin of the Section of Logic 53/2 (2024)

Przeglądaj według

Najnowsze pozycje

  • 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 ...