On relations satisfying some Horn formulas

zbMATH Open0987.08001MaRDI QIDQ2757071FDOQ2757071

Andreja Tepavčević, Branimir Šešelja

Publication date: 20 June 2002

Published in: Acta Universitatis Matthiae Belii. Series Mathematics (Search for Journal in Brave)

zbMATH Keywords

tolerancerelationsidealequivalence relationalgebraic latticesHorn formulasquasi-orderweak reflexivity

Mathematics Subject Classification ID

Relational systems, laws of composition (08A02) Equational classes, universal algebra in model theory (03C05) Subalgebras, congruence relations (08A30)

Cited In (1)

• On the Boolean Connectivity Problem for Horn Relations

This page was built for publication: On relations satisfying some Horn formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2757071)