Implicitly Maximal Classes and Implicit Completeness Criterion in the Three-Valued Logic
Mikhail Vasil'evich Starostin · Moscow University Mathematics Bulletin · 2018
The problem of implicit expressibility in the three-valued logic is considered. The system of all implicitly maximal classes is described. The corresponding criterion of implicit completeness is formulated.