The Essentially Equational Theory of Horn Classes

DOI<link itemprop=identifier href="https://doi.org/10.1002/(SICI)1521-3870(200005)46:2<233::AID-MALQ233>3.0.CO;2-I" /><233::AID-MALQ233>3.0.CO;2-I 10.1002/(SICI)1521-3870(200005)46:2<233::AID-MALQ233>3.0.CO;2-IzbMath0956.03034OpenAlexW2037963025MaRDI QIDQ4487250

Hans-E. Porst

Publication date: 7 March 2001

Full work available at URL: https://doi.org/10.1002/(sici)1521-3870(200005)46:2<233::aid-malq233>3.0.co;2-i

zbMATH Keywords

quasivarietyuniversal Horn classessentially equational theory

Mathematics Subject Classification ID

Quasivarieties (08C15) Basic properties of first-order languages and structures (03C07)

This page was built for publication: The Essentially Equational Theory of Horn Classes