Implicative algebras and Heyting algebras can be residuated lattices

Basim Samir; Huda H. Merdach

Basim Samir Department of Mathematics, Faculty of Science, Assiut University, Assiut 71516, Egypt
Huda H. Merdach Department of Mathematics, Faculty of Science Damietta University, Damietta 34517, Egypt

Keywords: Residuated lattice, implicative algebra, Heyting algebra.

Abstract

The commutative residuated lattices were first introduced by M. Ward and R.P. Dilworth as generalization of ideal lattices of rings. Complete studies on residuated lattices were developed by H. Ono, T. Kowalski, P. Jipsen and C. Tsinakis. Also, the concept of lattice implication algebra is due to Y. Xu. And Luitzen Brouwer founded the mathematical philosophy of intuitionism, which believed that a statement could only be demonstrated by direct proof. Arend Heyting, a student of Brouwer’s, formalized this thinking into his namesake algebras. In this paper, we investigate the relationship between implicative algebras, Heyting algebras and residuated lattices. In fact, we show that implicative algebras and Heyting algebras can be described as residuated lattices.

Downloads

Download data is not yet available.

References

K. Blount and C. Tsinakis, The structure of residuated lattices, Internat. J. Algebra Comput., 13, 4 (2003) : 437-461.

P. Jipsen and C. Tsinakis, A survey of residuated lattices, Ordered Algebraic Structures (J. Martinez, editor), Kluwer Academic Publishers, Dordrecht, (2002) : 19-56.

Y. B. Jun, Y. Xu and K. Qin. Positive implication and associative filters of lattice implication algebras. Bull. Korean Math. Soc., 35, 1 (1998) : 53-61.

V. Kolluru, B. Bekele. Implicative algebras. Mekelle University, 11, (2012) : 90-101.

M. Ward, R.P. Dilworth, Residuated lattices, Transactions of the AMS, 45, (1939) : 335-354.

Y. Xu. Lattice implication algebras. J. South West Jiaotong University, 28, 1 (1993) : 20-27.

Zhu Yiquan and Tu Wenbiao. A note on lattice implication algebras. Bull. Korean Math. Soc., 38, 1 (2001) : 191-195.