Single identities for lattice theory and for weakly associative lattices

DOI10.1007/BF01233914zbMath0901.06006MaRDI QIDQ1272238

R. Padmanabhan, William W. McCune

Publication date: 24 November 1998

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

variety of latticesone-based varietyuse of automated theorem prover Otterweakly associative lattices

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Varieties of lattices (06B20) Software, source code, etc. for problems pertaining to ordered structures (06-04)

Related Items

Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green, Using the prover ANDP to simplify orthogonality., A method for finding new sets of axioms for classes of semigroups., Simplifying von Plato's axiomatization of constructive apartness geometry, Computer Solutions of Problems in Inverse Semigroups, The Legacy of a Great Researcher

Uses Software

• OTTER
• Mace4

Cites Work

• Equational theory of algebras with a majority polynomial
• Equational Bases for Lattice Theories.
• Some examples of weakly associative lattices
• Two Identities for Lattices
• Unnamed Item
• Unnamed Item