On join-complete implication algebras

Abstract

In this paper first we consider an algebra that has a binary operation and a join of arbitrary nonempty subset. A lattice implication algebra is a lattice with a binary operation which has a join and a meet of finite nonempty subsets. In this work the notion of join-complete implication algebras L is defined as a join-complete lattice with a binary operation and some properties of this algebra L are searched. Moreover we prove that the interval [a 1] in L is a lattice implication algebra and show that L satisfies the completely distributive law when it has the smallest element 0. Finally we state the concept of filter and multipliers of L and provide finite and infinite examples of them. In addition we research some properties of these concepts in detail. © 2024 Elsevier B.V. All rights reserved.