Browsing Bulletin of the Section of Logic by Title

Now showing items 180-189 of 189

    • Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5 

      Dzik, Wojciech; Wróbel, Beniamin (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
      Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Nonunifiable terms (formulas) which are satisfiable in varieties ...

    • Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality 

      Bashmakov, Stepan I.; Zvereva, Tatyana Yu. (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-09)
      This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved ...

    • Universality of Logic 

      Woleński, Jan (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, ...

    • A Useful Four-Valued Extension of the Temporal Logic KtT4 

      Degauquier, Vincent (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the ...

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