Ratnamani, M. V. (2023) Comparing SHADL and Quasi Heyting ADL: A Study in Algebraic Structures and Logic. In: Research and Applications Towards Mathematics and Computer Science Vol. 3. B P International, pp. 182-188. ISBN 978-81-19491-51-3
Full text not available from this repository.
Official URL: https://doi.org/10.9734/bpi/ratmcs/v3/6097B
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.
Item Type: | Book Section |
---|---|
Subjects: | Research Scholar Guardian > Computer Science |
Depositing User: | Unnamed user with email support@scholarguardian.com |
Date Deposited: | 15 Jan 2024 04:00 |
Last Modified: | 15 Jan 2024 04:00 |
URI: | http://science.sdpublishers.org/id/eprint/1558 |