The Essentially Equational Theory of Horn Classes

DOI10.1002/(SICI)1521-3870(200005)46:2%3C233::AID-MALQ233%3E3.0.CO;2-IzbMATH Open0956.03034OpenAlexW2037963025MaRDI QIDQ4487250FDOQ4487250

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

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

zbMATH Keywords

quasivarietyuniversal Horn classessentially equational theory

Mathematics Subject Classification ID

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

Cited In (2)

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

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)