This article is cited in
3 papers
Mathematics
On the cardinality of interval Int(Pol$_k$) in partial $k$-valued logic
V. B. Alekseev Lomonosov Moscow State University, Faculty of Computational Mathematics and Cybernetics
Abstract:
Let Pol
$_k$ be the set of all functions of
$k$-valued logic representable by a polynomial modulo
$k$, and let Int(Pol
$_k$) be the family of all closed classes (with respect to superposition) in the partial
$k$-valued logic containing Pol
$_k$ and consisting only of functions extendable to some function from Pol
$_k$. In this paper, we prove that if
$k$ is divisible by the square of a prime number, then the family Int(Pol
$_k$) contains an infinitely increasing (with respect to inclusion) chain of different closed classes. This result and the results obtained by the author earlier imply that the family Int(Pol
$_k$) contains a finite number of closed classes if and only if
$k$ is a prime number or a product of two different primes.
Key words:
$k$-valued logic, polynomial, partial $k$-valued logic, closed class, predicate.
UDC:
519.716 Received: 17.11.2021