Implicative semi-lattices
William C. Nemitz · Transactions of the American Mathematical Society · 1965
WILLIAM C. NEMITZ(')2. Implicative semi-lattices.An implicative semi-lattice is a system in which L is a nonempty set, = is a partial order on L, A is a greatest lower bound with respect to Sj, and * is a binary composition in L such that for any elements x, y, and z of L,