Bulletin of the Section of Logic 51/3 (2022)

 

Recent Submissions

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

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

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

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

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

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

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