Browsing Bulletin of the Section of Logic 48/3 (2019) by Issue Date

Now showing items 1-5 of 5

    • Modal Boolean Connexive Logics: Semantics and Tableau Approach 

      Jarmużek, Tomasz; Malinowski, Jacek (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
      In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. ...

    • A Note on Ciuciura’s mbC1 

      Omori, Hitoshi (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
      This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new ...

    • Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic 

      Witczak, Tomasz (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
      We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. ...

    • A Note on Distributive Triples 

      Łazarz, Marcin (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
      Even if a lattice L is not distributive, it is still possible that for particular elements x, y, z ∈ L it holds (x∨y) ∧z = (x∧z) ∨ (y ∧z). If this is the case, we say that the triple (x, y, z) is distributive. In this note ...

    • Complex Fuzzy Sets with Application in BCK/BCI-Algebras 

      Jun, Young Bae; Xin, Xiao Long (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
      As a generation of fuzzy set, the notion of complex fuzzy set which is an innovative concept is introduced by Ramot, Milo, Friedman and Kandel. The purpose of this article is to apply complex fuzzy set to BCK/BCI-algebras. ...