RUS  ENG
Full version
JOURNALS // Diskretnaya Matematika // Archive
Diskr. Mat., 2018 Volume 30, Issue 4, Pages 47–54 (Mi dm1523)
This article is cited in 3 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.

UDC: 519.716.325

Received: 22.05.2018

DOI: 10.4213/dm1523


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

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025