Comparing SHADL and Quasi Heyting ADL: A Study in Algebraic Structures and Logic

Authors

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

DOI:

https://doi.org/10.9734/bpi/ratmcs/v3/6097B

Keywords:

Almost distributive lattice, quasi heyting almost distributive lattice, semi-heyting almost distributive lattice

Abstract

We demonstrate in this paper that the class of quasi Heyting almost distributive lattices need not be a mutual derivable subclass of the class of semi-Heyting almost distributive lattice.

Published

2023-08-10

How to Cite

M. V. Ratnamani. (2023). Comparing SHADL and Quasi Heyting ADL: A Study in Algebraic Structures and Logic. Research and Applications Towards Mathematics and Computer Science Vol. 3, 182–188. https://doi.org/10.9734/bpi/ratmcs/v3/6097B

Issue

Research and Applications Towards Mathematics and Computer Science Vol. 3

Section

Chapters