Autometrized Implicative Almost Distributive Lattices
Berhanu Assaye, Mihret Alamneh, Tilahun Mekonen Tilahun Mekonen Nagasa · International Journal of Mathematics And its Applications · 2017
In this paper,we introduce two binary operations + and $-$ on an IADL and we obtain few results concerning the operation defined.We introduce a binary operation * on IADL L and prove that (L, *) is a metric space. We introduce the concept of Autometrized Implicative Almost Distributive Lattices(AIADLs)as extension of Autometrized algebra in the class of Almost Distributive Lattices and also regular autometrized IADL. We discuss some theorems of AIADL L and show that * on L is not a group operation.