Semi Heyting Almost Distributive Lattices
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).