Deterministic and non-deterministic hypersubstitutions for algebraic systems.

DOI10.1142/S1793557116500479zbMATH Open1339.08002MaRDI QIDQ2805958FDOQ2805958

Authors: Jintana Joomwong, Dara Phusanga 

Publication date: 13 May 2016

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

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

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)

Cites Work

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

Cited In (8)

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