A Horn sentence for involution lattices of quasiorders

DOI10.1007/BF01108770zbMath0817.06007OpenAlexW85258979MaRDI QIDQ1842101

Gábor Czédli

Publication date: 17 April 1995

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01108770

zbMATH Keywords

embeddingquasiorderHorn sentenceinvolution lattice

Mathematics Subject Classification ID

Representation theory of lattices (06B15) Free lattices, projective lattices, word problems (06B25)

Related Items

Unnamed Item

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