Szukaj
Wyświetlanie pozycji 1-7 z 7
Commutative Energetic Subsets of BCK-Algebras
(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
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)
We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras.
Positive Implicative Soju Ideals in BCK-Algebras
(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 ...
Semi-Heyting Algebras and Identities of Associative Type
(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. SH denotes ...
Pseudo-BCH Semilattices
(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, ...
PC-lattices: A Class of Bounded BCK-algebras
(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 ...
Int-Soft Ideals of Pseudo MV-Algebras
(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) ...