학술저널
HEYTING ALGEBRA AND t-ALGEBRA
- 충청수학회
- Journal of the Chungcheong Mathematical Society
- Volume 11, No. 1
-
1998.0813 - 26 (14 pages)
- 0
The purpose of this note is to study the relation between Heyting algebra and t-algebra which is the dual concept of BCK-algebra. We define t-algebra with binary operation ▷ which is a generalization of the implication in the Heyting algebra, and define a boundedness and commutativity of it, and then characterize a Heyting algebra and a Boolean algebra as a bounded commutative t-algebra X satisfying x = (x ▷ y) ▷ x for all x, y ∊ X.
Abstract
1. INTRODUCTION
2. HEYTING ALGEBRAS and t-ALGEBRAS
3. BOUNDED COMMUTATIVE t-ALGEBRA
REFERENCES
(0)
(0)