On the logical equivalence of functional clones

DOI10.1134/S0037446617040139zbMath1420.08002OpenAlexW2751109598MaRDI QIDQ1675181

Aleksandr Georgievich Pinus

Publication date: 27 October 2017

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

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

zbMATH Keywords

conditional termfunctional clonequantifier-free formal set of universal algebras

Mathematics Subject Classification ID

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

Related Items

On the elementary geometry of universal algebras and on the equivalence of clones relative to this geometry, A clonoid based approach to some finiteness results in universal algebraic geometry

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Isotyped algebras
• Characterization of conditionally termable functions
• Algebraic geometry over algebraic structures. VI: Geometrical equivalence
• Finite sublattices in the lattice of clones
• Separation of clones by means of hyperidentities
• On separation of Boolean clones by means of hyperidentities
• Algebraically equivalent clones
• Dimension of functional clones, metric on its collection
• On some of logical closures on universal algebras
• Some logical invariants of algebras and logical relations between algebras
• Conditional terms and their applications in algebra and computation theory