Return to Article Details Three-element non-finitely axiomatizable matrices and term-equivalence Download Download PDF