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

Diskr. Mat., 2018 Volume 30, Issue 4, Pages 106–114 (Mi dm1542)

This article is cited in 3 papers

On some implicitly precomplete classes of monotone functions in $P_k$

M. V. Starostin

Lomonosov Moscow State University

Abstract: The paper is concerned with the completeness problem in implicit expressibility in a multi-valued logics $P_k$. For each $k\geq 2$ and any nontrivial order relation on the set $\{0,1,\dots,k-1\}$ we find two implicitly precomplete classes of functions which are monotone with respect to this order

Keywords: many-valued logics, implicit expressibility, maximal classes, monotone function.

UDC: 519.716.32+510.644

Received: 01.06.2018

DOI: 10.4213/dm1542


 English version:
Discrete Mathematics and Applications, 2020, 30:1, 45–51

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025