Przeglądaj Bulletin of the Section of Logic 53/2 (2024) według tytułu

Wyświetlanie pozycji 1-6 z 6

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

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

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

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

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

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