On the enumeration closure operator in multivalued logic

DOI10.3103/S0278641915020053zbMath1337.03034OpenAlexW574916794MaRDI QIDQ893188

Sergey S. Marchenkov

Publication date: 13 November 2015

Published in: Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s0278641915020053

zbMATH Keywords

enumeration closure operatorfunctions of multivalued logic

Mathematics Subject Classification ID

Boolean functions (06E30) Many-valued logic (03B50) Logical aspects of Boolean algebras (03G05)

Related Items (3)

Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions ⋮ Completeness criterion for the enumeration closure operator in three-valued logic ⋮ Completeness criterion with respect to the enumeration closure operator in the three-valued logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Operator of positive closure
• FE classification of functions of many-valued logic
• Classes of the \(k\)-valued logic closed with respect to extended superposition operation
• Finitely Many Primitive Positive Clones
• On expressibility of functions of many-valued logic in some logical-functional languages
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

This page was built for publication: On the enumeration closure operator in multivalued logic