Deterministic and non-deterministic hypersubstitutions for algebraic systems.

DOI10.1142/S1793557116500479MaRDI QIDQ2805958zbMATH OpenFDO

Authors 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 classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Operations and polynomials in algebraic structures, primal algebras (08A40)

Recommendations

• Non-deterministic linear hypersubstitutions
• \(M\)-solid generalized non-deterministic varieties
• POWER CLONES AND NON-DETERMINISTIC HYPERSUBSTITUTIONS
• ND-HYPERSUBSTITUTIONS OF MANY-SORTED ALGEBRAS
• Nd-solid varieties

Cites work

• Derived algebraic systems
• Hyperformulas and solid algebraic systems
• POWER CLONES AND NON-DETERMINISTIC HYPERSUBSTITUTIONS
• Products of tree languages

Cited in

(8)

• Full formulas induced by full terms
• Derived algebraic systems
• A new concept of non-deterministic hypersubstitutions for algebraic systems
• Non-deterministic linear hypersubstitutions
• Hypersatisfaction of formulas in algebraic systems
• \(M\)-solid generalized non-deterministic varieties
• POWER CLONES AND NON-DETERMINISTIC HYPERSUBSTITUTIONS
• A graph approach to computing nondeterminacy in substitutional dynamical systems

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

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