A Horn sentence for involution lattices of quasiorders
From MaRDI portal
Publication:1842101
DOI10.1007/BF01108770zbMath0817.06007OpenAlexW85258979MaRDI QIDQ1842101
Publication date: 17 April 1995
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01108770
Related Items
Cites Work
- On the word problem of lattices with the help of graphs
- Quasiorders on universal algebras
- Free Lattices Generated by Partially Ordered Sets and Preserving Bounds
- The Word Problem for Abstract Algebras
- Lattices, equivalence relations, and subgroups
- The decision problem for some classes of sentences without quantifiers