Back to Search Start Over

On the logical equivalence of functional clones

Authors :
A. G. Pinus
Source :
Siberian Mathematical Journal. 58:672-675
Publication Year :
2017
Publisher :
Pleiades Publishing Ltd, 2017.

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.

Subjects

Subjects :
Pure mathematics
Logical equivalence
010201 computation theory & mathematics
Conditional term
General Mathematics
010102 general mathematics
Equivalence relation
0102 computer and information sciences
0101 mathematics
01 natural sciences
Coincidence
Mathematics

Details

ISSN :
15739260 and 00374466
Volume :
58
Database :
OpenAIRE
Journal :
Siberian Mathematical Journal
Accession number :
edsair.doi...........5f20103ec053291ab8721654182e69ed

Tools

Authors Abstract Subjects Details