|
This article is cited in 3 scientific papers (total 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.
Received: 01.06.2018
Citation:
M. V. Starostin, “On some implicitly precomplete classes of monotone functions in $P_k$”, Diskr. Mat., 30:4 (2018), 106–114; Discrete Math. Appl., 30:1 (2020), 45–51
Linking options:
https://www.mathnet.ru/eng/dm1542https://doi.org/10.4213/dm1542 https://www.mathnet.ru/eng/dm/v30/i4/p106
|
Statistics & downloads: |
Abstract page: | 314 | Full-text PDF : | 62 | References: | 39 | First page: | 21 |
|