충청수학회지 (Journal of the Chungcheong Mathematical Society)
- 제11권1호
- /
- Pages.13-26
- /
- 1998
- /
- 1226-3524(pISSN)
- /
- 2383-6245(eISSN)
HEYTING ALGEBRA AND t-ALGEBRA
- Yon, Yong Ho (Department of Mathematics Chungbuk National University) ;
- Choi, Eun Ai (Department of Mathematics Chungbuk National University)
- 투고 : 1998.05.14
- 발행 : 1998.07.31
초록
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