Comparing SHADL and Quasi Heyting ADL: A Study in Algebraic Structures and Logic | Chapter 11 | Research and Applications Towards Mathematics and Computer Science Vol. 3

 We show in this paper that the class of almost Heyting almost distributive lattices need not be a mutual deducible subclass of the class of to a certain extent-Heyting almost distributive trellis.

Author(s) Details:

M. V. Ratnamani,
Department of Basic science and Humanities, Aditya Institute of Technology and Management, K.Kotturu, Tekkali-532001, India.

Please see the link here: https://stm.bookpi.org/RATMCS-V3/article/view/11572