Now showing items 1-7 of 7

    • Commutative Energetic Subsets of BCK-Algebras 

      Jun, Young Bae; Roh, Eun Hwan; Song, Seok Zun (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      The notions of a C-energetic subset and (anti) permeable C-value in BCK-algebras are introduced, and related properties are investigated. Conditions for an element t in [0, 1] to be an (anti) permeable C-value are provided. ...
    • Grzegorczyk Algebras Revisited 

      Stronkowski, Michał M. (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras.
    • Int-Soft Ideals of Pseudo MV-Algebras 

      Jun, Young Bae; Song, Seok-Zun; Bordbar, Hashem (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      The notion of (implicative) int-soft ideal in a pseudo MV-algebra is introduced, and related properties are investigated. Conditions for a soft set to be an int-soft ideal are provided. Characterizations of (implicative) ...
    • PC-lattices: A Class of Bounded BCK-algebras 

      Shoar, Sadegh Khosravi; Borzooei, Rajab Ali; Moradian, R.; Radfar, Atefe (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      In this paper, we define the notion of PC-lattice, as a generalization of finite positive implicative BCK-algebras with condition (S) and bounded commutative BCK-algebras. We investiate some results for Pc-lattices being ...
    • Positive Implicative Soju Ideals in BCK-Algebras 

      Xin, Xiao Long; Borzooei, Rajab Ali; Jun, Young Bae (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      The notion of positive implicative soju ideal in BCK-algebra is introduced, and several properties are investigated. Relations between soju ideal and positive implicative soju ideal are considered, and characterizations ...
    • Pseudo-BCH Semilattices 

      Walendziak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      In this paper we study pseudo-BCH algebras which are semilattices or lattices with respect to the natural relations ≤; we call them pseudo-BCH join-semilattices, pseudo-BCH meet-semilattices and pseudo-BCH lattices, ...
    • Semi-Heyting Algebras and Identities of Associative Type 

      Cornejo, Juan M.; Sankappanavar, Hanamantagouda P. (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
      An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice, and it satisfies the identities: x ∧ (x → y) ≈ x ∧ y, x ∧ (y → z) ≈ x ∧ [(x ∧ y) → (x ∧ z)], and x → x ≈ 1. 𝒮ℋ denotes ...