Mihret Alamneh
Department of Mathematics, College of Science, Bahir Dar University

Published : 3 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 3 Documents
Search
Journal : International Journal of Computing Science and Applied Mathematics-IJCSAM

Skew Semi-Heyting Algebras Berhanu Assaye Alaba; Mihret Alamneh; Yeshiwas Mebrat Gubena
(IJCSAM) International Journal of Computing Science and Applied Mathematics Vol. 4 No. 1 (2018)
Publisher : LPPM Institut Teknologi Sepuluh Nopember

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

In this paper, we introduce the concept of skew semi-Heyting algebra and extend the notions of semi-Heyting algebras. We characterize a skew semi-Heyting algebra as a skew Heyting algebra interms of a unique binary operation on which an induced binary operation is defined, and some algebraic properties on it.
Implicative Almost Distributive Lattice Berhanu Assaye Alaba; Mihret Alamneh; Tilahun Mekonnen Munie
(IJCSAM) International Journal of Computing Science and Applied Mathematics Vol. 4 No. 1 (2018)
Publisher : LPPM Institut Teknologi Sepuluh Nopember

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

In this paper, we introduce the concept of Implicative Almost Distributive Lattices (IADLs) as a generalization of implicative algebra in the class of Almost Distributive Lattices. We discuss some properties of IADL and derive some equivalent conditions in IADLs. We also discuss some characterizations of IADL to become an implicative algebra
Transitive and Absorbent Filters of Implicative Almost Distributive Lattices Berhanu Assaye Alaba; Mihret Alamneh; Tilahun Mekonnen
(IJCSAM) International Journal of Computing Science and Applied Mathematics Vol. 4 No. 2 (2018)
Publisher : LPPM Institut Teknologi Sepuluh Nopember

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

In this paper, we introduce the concept of transitive and absorbent filters of implicative almost distributive lattices and studied their properties. A necessary and sufficient condition is derived for every filter to become a transitive filter. Some sufficient conditions are also derived for a filter to become a transitive filter. A set of equivalent conditions is obtained for a filter to become an absorbent filter.