Przeglądaj Bulletin of the Section of Logic 51/3 (2022) według daty wydania

Wyświetlanie pozycji 1-7 z 7

    • First-Order Modal Semantics and Existence Predicate 

      Michalczenia, Patryk (Wydawnictwo Uniwersytetu Łódzkiego, 2022-07-11)
      In the article we study the existence predicate \(\varepsilon\) in the context of semantics for first-order modal logic. For a formula \(\varphi\) we define \(\varphi^{\varepsilon}\) - the so called existence relativization. ...

    • Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract 

      Dziobiak, Wiesław; Schwidefsky, Marina (Wydawnictwo Uniwersytetu Łódzkiego, 2022-08-02)
      The categorical dualities presented are: (first) for the category of bi-algebraic lattices that belong to the variety generated by the smallest non-modular lattice with complete (0,1)-lattice homomorphisms as morphisms, ...

    • Complete Representations and Neat Embeddings 

      Sayed Ahmed, Tarek (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-09)
      Let \(2<n<\omega\). Then \({\sf CA}_n\) denotes the class of cylindric algebras of dimension \(n\), \({\sf RCA}_n\) denotes the class of representable \(\sf CA_n\)s, \({\sf CRCA}_n\) denotes the class of completely ...

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

    • Constructing a Hoop Using Rough Filters 

      Borzooei, Rajab Ali; Babaei, Elham (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-09)
      When it comes to making decisions in vague problems, rough is one of the best tools to help analyzers. So based on rough and hoop concepts, two kinds of approximations (Lower and Upper) for filters in hoops are defined, ...

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

    • Interpolation Property on Visser's Formal Propositional Logic 

      Alizadeh, Majid; Memarzadeh, Masoud (Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-20)
       In this paper by using a model-theoretic approach, we prove Craig interpolation property for Formal Propositional Logic, FPL, Basic propositional logic, BPL and the uniform left-interpolation property for FPL. We also ...