Implicative lattices

Abbreviation: ImpLat

Definition

An implicative lattice is a structure A = (A,∨,∧, → ) such that (A,∨,∧) is a distributive lattice, and  →  is an implication:
x → (y∨z)  = (x → y)∨(x → z),
x → (y∧z)  = (x → y)∧(x → z),
(x∨y) → z  = (x → z)∧(y → z), and
(x∧y) → z  = (x → z)∨(y → z)

Morphisms

Let A and B be involutive lattices. A morphism from A to B is a function h : A→B that is a homomorphism: h(x∨y) = h(x)∨h(y)  and  h(x∨y) = h(x)∧h(y)  and  h(x → y) = h(x) → h(y).

References

[Nestor G. Martinez, H. A. Priestley, On Priestley spaces of lattice-ordered algebraic structures, Order 15 (1998) 297--323 MRreview]

[Nestor G. Martinez, A simplified duality for implicative lattices and l-groups, Studia Logica 56 (1996) 185--204 MRreview]

Some results

Examples

Properties

Finite members

Subclasses

Superclasses