Deterministic and non-deterministic hypersubstitutions for algebraic systems

DOI10.1142/S1793557116500479zbMath1339.08002MaRDI QIDQ2805958

Jintana Joomwong, Dara Phusanga

Publication date: 13 May 2016

Published in: Asian-European Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

algebraic systemstermsdeterministic hypersubstitutionsnon-deterministic hypersubstitutionsquantifier free formulae

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Operations and polynomials in algebraic structures, primal algebras (08A40) Equational classes, universal algebra in model theory (03C05)

Related Items (1)

Unnamed Item

Cites Work

• Hyperformulas and solid algebraic systems
• POWER CLONES AND NON-DETERMINISTIC HYPERSUBSTITUTIONS
• Unnamed Item
• Unnamed Item

This page was built for publication: Deterministic and non-deterministic hypersubstitutions for algebraic systems