On some implicitly precomplete classes of monotone functions in $P_k$
Diskretnaya Matematika, Tome 30 (2018) no. 4, pp. 106-114
Voir la notice de l'article provenant de la source Math-Net.Ru
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.
@article{DM_2018_30_4_a9,
author = {M. V. Starostin},
title = {On some implicitly precomplete classes of monotone functions in $P_k$},
journal = {Diskretnaya Matematika},
pages = {106--114},
publisher = {mathdoc},
volume = {30},
number = {4},
year = {2018},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DM_2018_30_4_a9/}
}
M. V. Starostin. On some implicitly precomplete classes of monotone functions in $P_k$. Diskretnaya Matematika, Tome 30 (2018) no. 4, pp. 106-114. http://geodesic.mathdoc.fr/item/DM_2018_30_4_a9/