Relation between dual S-algebras and BE-algebras

  • Arsham Borumand Saeid Dept. of Math.Shahid Bahonar university of Kerman, Kerman, Iran.
  • Akbar Rezaei
Keywords: (Heyting, implication, Hilbert) algebra, BE/CI/KU –algebra, dual(W S/S/Q/BCK)–algebra

Abstract

In this paper, we investigate the relationship between dual (Weak) Subtraction algebras, Heyting algebras and BE-algebras. In fact, the purpose of this paper is to show that BE-algebra is a generalization of Heyting algebra and dual (Weak) Subtraction algebras. Also, we show that a bounded commutative self distributive BE-algebra is equivalent to the Heyting algebra.

 

Published
2015-05-04
Section
Articoli