The partial clone of linear formulas

DOI10.1134/S0037446619040037MaRDI QIDQ2010197zbMATH OpenOpenAlexFDO

Authors Klaus Denecke

Publication date 27 November 2019

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0037446619040037

zbMATH Keywords

cloneformulalinear formulalinear hypersubstitutionlinear termpartial clonesuperpositionterm

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40)

Recommendations

• The partial clone of linear terms
• Clone of linear terms and clone of linear formulas
• The partial clone of linear tree languages
• On partial clones of \(k\)-terms
• Full formulas induced by full terms

Cites work

• M-solid varieties of algebras
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 1521609 (Why is no real title available?)
• Hyperformulas and solid algebraic systems
• Hypersatisfaction of formulas in algebraic systems
• Identities for globals (complex algebras) of algebras
• Linear identities in graph algebras.
• The partial clone of linear terms

Cited in

(14)

• The partial clone of linear terms
• Clone of linear terms and clone of linear formulas
• On partial clones of \(k\)-terms
• Partial clones
• The order of linear relational hypersubstitutions for algebraic systems
• Linear-hypersubstitutions for algebraic systems of type \(((n); (n))\) and characterization of their idempotent elements
• Full formulas induced by full terms
• The monoid of linear hypersubstitutions
• Superassociative structures of terms and formulas defined by transformations preserving a partition
• Weak embeddability of the partial Menger algebra of formulas
• The partial clone of completely expanded terms
• Partial algebras of formulas under generalized superpositions
• The Hadamard multiary quasigroup product
• Combinatorial results to measure the complexity of quantifier free formulas in algebraic systems

This page was built for publication: The partial clone of linear formulas

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