Proof theory for linear lattices

AbstractWe make a study of lattices representable by commuting equivalence relations, which we call linear lattices. We develop a proof theory for implications valid in linear lattices, which differs from classical proof theories in that its deductions transform representative graphs rather than well-formed formulas. Using graphtheoretic arguments, we establish a duality theorem and a normal form theorem for this proof theory