This article is cited in 2 papers

On the logical equivalence of functional clones

A. G. Pinus

Novosibirsk State Technical University, Novosibirsk, Russia

Abstract: We study the equivalence relations between functional clones which are based on the coincidence of their quantifier-free formal subsets of the corresponding universal algebras.

Keywords: functional clone, quantifier-free formal set of universal algebras, conditional term.

UDC: 512.57

MSC: 35R30

Received: 30.06.2016

DOI: 10.17377/smzh.2017.58.413

 English version: Siberian Mathematical Journal, 2017, 58:4, 672–675

Bibliographic databases:

• 
• 
• 
•