Implicit completeness criterion in three-valued logic in terms of maximal classes
Discrete Mathematics
2021-04-01 v1
Abstract
Implicit expressability was introduced by A.V. Kuznetsov in 1979 as generalization of functional expressability. Set of functions is called implicitly complete if any function has an implicit representation over this set. The system of all implicitly maximal classes in three-valued logic is described. The implicit completeness criterion is stated.
Cite
@article{arxiv.2103.16631,
title = {Implicit completeness criterion in three-valued logic in terms of maximal classes},
author = {Mikhail Starostin},
journal= {arXiv preprint arXiv:2103.16631},
year = {2021}
}
Comments
57 pages, in Russian