The Essentially Equational Theory of Horn Classes

DOI10.1002/(SICI)1521-3870(200005)46:2%3C233::AID-MALQ233%3E3.0.CO;2-IMaRDI QIDQ4487250zbMATH OpenOpenAlexFDO

Authors Hans-E. Porst

Publication date 7 March 2001

Full work available at URL https://doi.org/10.1002/(sici)1521-3870(200005)46:2%3C233::aid-malq233%3E3.0.co;2-i

zbMATH Keywords

quasivarietyuniversal Horn classessentially equational theory

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4081520
• Model complete universal Horn classes
• Categorical Horn classes. II
• scientific article; zbMATH DE number 1284140
• scientific article; zbMATH DE number 3968568

Cited in

(2)

• On solving the equality problem in theories defined by Horn clauses
• A compositional semantic basis for the analysis of equational Horn programs

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

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