Basic positively closed classes in three-valued logic

S. S. Marchenkov, A. V. Chernyshev

Lomonosov Moscow State University

Abstract: Basic positively closed classes are intersections of positively precomplete classes. We prove that three-valued logic contains exactly 79 basic positively closed classes. Each class is described in terms of endomorphism semigroups.

Keywords: three-valued logic, basic positively closed class.

UDC: 519.716

Received: 21.04.2017

DOI: 10.4213/dm1420

 English version: Discrete Mathematics and Applications, 2018, 28:3, 157–165

Bibliographic databases:

• 
• 
•