Hypersatisfaction of formulas in algebraic systems

DOI10.7151/dmgaa.1154zbMath1214.08001OpenAlexW2327689402MaRDI QIDQ5748175

Klaus Denecke, Dara Phusanga

Publication date: 14 September 2010

Published in: Discussiones Mathematicae - General Algebra and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.7151/dmgaa.1154

zbMATH Keywords

hypersubstitutionrelational clonealgebraic systemhypersatisfaction

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Algebraic structures (08A99)

Related Items (3)

The partial clone of linear formulas ⋮ Partial clones ⋮ Hyper-pseudoformulas and M-solid ordered pseudovarieties

This page was built for publication: Hypersatisfaction of formulas in algebraic systems