Equational Closure and Closure with Respect to Enumeration on a Set of Partial Multivalued Logic Functions


Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Somente assinantes

Resumo

It is proven that for any k ⩾ 2, operators of equational closure and closure with respect to enumeration (Π-operator) generate one and the same classification on set Pk* of partial k-valued logic functions. Thirteen II-precomplete classes are identified in class P3*.

Sobre autores

S. Marchenkov

Faculty of Computational Mathematics and Cybernetics

Autor responsável pela correspondência
Email: ssmarchen@yandex.ru
Rússia, Moscow, 119991

V. Prostov

Faculty of Computational Mathematics and Cybernetics

Autor responsável pela correspondência
Email: vasyapro08@mail.ru
Rússia, Moscow, 119991

Arquivos suplementares

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Allerton Press, Inc., 2019