Przeglądaj według

 

Najnowsze pozycje

  • Neighbourhood Semantics for Graded Modal Logic 

    Chen, Jinsheng; van Ditmarsch, Hans; Greco, Giuseppe; Tzimoulis, Apostolos (Wydawnictwo Uniwersytetu Łódzkiego, 2021-07-14)
    We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We ...
  • A General Model of Neutrosophic Ideals in BCK/BCI-algebras Based on Neutrosophic Points 

    Bordbar, Hashem; Borzooei, Rajab Ali; Smarandache, Florentin; Jun, Young Bae (Wydawnictwo Uniwersytetu Łódzkiego, 2020-08-15)
    More general form of (∈, ∈ ∨q)-neutrosophic ideal is introduced, and their properties are investigated. Relations between (∈, ∈)-neutrosophic ideal and (∈, ∈ ∨q(kT ,kI ,kF ))-neutrosophic ideal are discussed. Characterizations ...
  • Falling Shadow Theory with Applications in Hoops 

    Borzooei, Rajab Ali; Rezaei, Gholam Reza; Kologhani, Mona Aaly; Jun, Young Bae (Wydawnictwo Uniwersytetu Łódzkiego, 2021-01-20)
    The falling shadow theory is applied to subhoops and filters in hoops. The notions of falling fuzzy subhoops and falling fuzzy filters in hoops are introduced, and several properties are investigated. Relationship between ...
  • Tense Operators on BL-algebras and Their Applications 

    Paad, Akbar (Wydawnictwo Uniwersytetu Łódzkiego, 2021-05-28)
    In this paper, the notions of tense operators and tense filters in \(BL\)-algebras are introduced and several characterizations of them are obtained. Also, the relation among tense \(BL\)-algebras, tense \(MV\)-algebras ...
  • A Note on Gödel-Dummet Logic LC 

    Robles, Gemma; Méndez, José M. (Wydawnictwo Uniwersytetu Łódzkiego, 2021-07-01)
    Let \(A_{0},A_{1},...,A_{n}\) be (possibly) distintict wffs, \(n\) being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom \((A_{0}\rightarrow A_{1})\vee ...\vee (A_{n-1}\rightarrow ...
  • A Note on 3×3-valued Łukasiewicz Algebras with Negation 

    Gallardo, Carlos; Ziliani, Alicia (Wydawnictwo Uniwersytetu Łódzkiego, 2021-05-27)
    In 2004, C. Sanza, with the purpose of legitimizing the study of \(n\times m\)-valued Łukasiewicz algebras with negation (or \(\mathbf{NS}_{n\times m}\)-algebras) introduced \(3 \times 3\)-valued Łukasiewicz algebras with ...
  • Omitting Types in Fragments and Extensions of First Order Logic 

    Sayed Ahmed, Tarek (Wydawnictwo Uniwersytetu Łódzkiego, 2021-05-28)
    Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for ...