RUS  ENG
Full version
JOURNALS // Diskretnaya Matematika // Archive

Diskr. Mat., 2018 Volume 30, Issue 2, Pages 3–13 (Mi dm1518)

This article is cited in 5 papers

On closed classes in partial $k$-valued logic that contain the class of monotone functions

V. B. Alekseev

Lomonosov Moscow State University

Abstract: Let $A$ be a precomplete class (a maximal clone) in $k$-valued logic and $T(A)$ be the family of all closed classes (under superposition) in partial $k$-valued logic that contain $A$. A simple test is put forward capable of finding out from a partial order defining the precomplete class $A$ of monotone functions whether the family $T(A)$ is finite or infinite. This completes the solution of the problem of finiteness of $T(A)$ for all precomplete classes of $k$-valued logic. The proof depends on new families of closed classes founded by the author of the present paper.

Keywords: $k$-valued logic, partial $k$-valued logic, closed class, precomplete class, monotone function.

UDC: 519.716

Received: 17.04.2018

DOI: 10.4213/dm1518


 English version:
Discrete Mathematics and Applications, 2019, 29:5, 277–285

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024