|
This article is cited in 2 scientific papers (total in 2 papers)
Completeness criterion for the enumeration closure operator in three-valued logic
S. S. Marchenkov Lomonosov Moscow State University
Abstract:
A completeness criterion for the enumeration closure operator in three-valued logic is obtained, and all 13 precomplete classes are described.
Keywords:
enumeration closure operator, three-valued logic.
Received: 22.05.2018
Citation:
S. S. Marchenkov, “Completeness criterion for the enumeration closure operator in three-valued logic”, Diskr. Mat., 30:4 (2018), 47–54; Discrete Math. Appl., 30:1 (2020), 1–6
Linking options:
https://www.mathnet.ru/eng/dm1523https://doi.org/10.4213/dm1523 https://www.mathnet.ru/eng/dm/v30/i4/p47
|
|