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

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 P k * of partial k -valued logic functions. Thirteen II-precomplete classes are identified in class P 3 *.

Saved in:
Bibliographic Details
Published in:Moscow University computational mathematics and cybernetics 2019, Vol.43 (3), p.118-125
Main Authors: Marchenkov, S. S., Prostov, V. A.
Format: Article
Language:English
Subjects:
Enumeration
Mathematics
Mathematics and Statistics
Multivalued logic
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 P k * of partial k -valued logic functions. Thirteen II-precomplete classes are identified in class P 3 *.
ISSN:0278-6419
1934-8428
DOI:10.3103/S027864191903004X