Now showing items 184-189 of 189

    • Variable Sharing in Substructural Logics: an Algebraic Characterization 

      Badia, Guillermo (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.
    • A Variant of Material Connexive Logic 

      Belikov, Alexander; Zaitsev, Dmitry (Wydawnictwo Uniwersytetu Łódzkiego, 2021-11-09)
      The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our ...
    • The Weak Variable Sharing Property 

      Øgaard, Tore Fjetland (Wydawnictwo Uniwersytetu Łódzkiego, 2023-04-21)
      An algebraic type of structure is shown forth which is such that if it is a characteristic matrix for a logic, then that logic satisfies Meyer's weak variable sharing property. As a corollary, it is shown that RM and all ...
    • Weakly Free Multialgebras 

      Coniglio, Marcelo Esteban; Vicentin de Toledo, Guilherme (Wydawnictwo Uniwersytetu Łódzkiego, 2021-08-23)
      In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. ...
    • What Is the Sense in Logic and Philosophy of Language 

      Wybraniec-Skardowska, Urszula (Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)
      In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception ...
    • An (α,β)-Hesitant Fuzzy Set Approach to Ideal Theory in Semigroups 

      Yiarayong, Pairote (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-14)
      The aim of this manuscript is to introduce the \((\alpha,\beta)\)-hesitant fuzzy set and apply it to semigroups. In this paper, as a generalization of the concept of hesitant fuzzy sets to semigroup theory, the concept of ...