Semi Heyting Almost Distributive Lattices

G. C. Rao1, M. V. Ratnamani2, K. P. Shum3, Berhanu Assaye4
1Department of Mathematics, Andhra University, Visakhapatnam, India
2Department of Mathematics, AITAM Enggenering College, Tekkali, India
3Faculty of Science, The Chinese University of Hong Kong, Hong Kong, China
4Berhanu Assaye, Department of Mathematics, Bahir Dar University, Bahir Dar, Ethiopia

Tóm tắt

In this paper, we introduce the concept of a Semi Heyting Almost Distributive Lattice (SHADL) as a generalization of a Semi Heyting Algebra in the class of ADLs. We characterize an SHADL in terms of its principal ideals. We also give different sets of equations that define an SHADL.

Từ khóa


Tài liệu tham khảo

T. Skolem, Logico-Combinatorial Investigations in the Satisfiability or Provability of Mathematical Propositions (Harvard University Press, Cambridge, 1920). G. Birkhoff, Lattice Theory, 3rd ed., in Colloq. Publ. (Amer.Math. Soc., Providence, R.I., 1979), Vol. 25. Carsten Butz, Finitely Presented Heyting Algebras, BRICS Report Series, RS-98-30 (1998). Christina-Theresia Dan, Annals of University of Craiova, Math. Comp. Sci. Ser. 30(2), 66 (2003). Nick Bezhanishvili and Mai Gehrke, Lect. Notes in Comp. Sci. 5728, 251 (2009). H. P. Sankappanavar, Pacific J.Math. 117(2), 405 (1985). H. P. Sankappanavar, Actas del IX Congreso Dr. Antonio A.R. Monteiro, p. 33 (2007). G. C. Rao, Berhanu Assaye, and M. V. Ratnamani, Int. J. Comp. Cognition 8(3), 89 (2010). U. M. Swamy and G. C. Rao, J. Asust. Math. Soc. 31(A), 77 (1981).