Abstract
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.
Similar content being viewed by others
References
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).
Author information
Authors and Affiliations
Corresponding author
Additional information
Submitted by M. M. Arslanov
Rights and permissions
About this article
Cite this article
Rao, G.C., Ratnamani, M.V., Shum, K.P. et al. Semi Heyting Almost Distributive Lattices. Lobachevskii J Math 36, 184–189 (2015). https://doi.org/10.1134/S1995080215020158
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1995080215020158