Basic positively closed classes in three-valued logic

Sergey Seraphimovich Marchenkov, Anatoliy V. Chernyshev · Discrete Mathematics and Applications · 2018

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.

Read the paper · More papers on PaperTik