- Tytuł:
- PC-lattices: A Class of Bounded BCK-algebras
- Autorzy:
-
Shoar, Sadegh Khosravi
Borzooei, Rajab Ali
Moradian, R.
Radfar, Atefe - Powiązania:
- https://bibliotekanauki.pl/articles/749890.pdf
- Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
PC-lattice
BCK-lattice
Involutory BCK-algebras
Bounded commutative BCK-algebras - Opis:
- 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 a new class of BCK-lattices. Specially, we prove that any Boolean lattice is a PC-lattice and we show that if X is a PC-lattice with condition S, then X is an involutory BCK-algebra if and only if X is a commutative BCK-algebra. Finally, we prove that any PC-lattice with condition (S) is a distributive BCK-algebra.
- Źródło:
-
Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł