Completeness criterion with respect to the enumeration closure operator in the three-valued logic

DOI10.1515/dma-2022-0010OpenAlexW4285610041MaRDI QIDQ2088721

Vasilii A. Prostov, Sergey S. Marchenkov

Publication date: 6 October 2022

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dma-2022-0010

zbMATH Keywords

enumeration closure operatorfunctions of three-valued logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• On the enumeration closure operator in multivalued logic
• Parametric expressibility of functions of three-valued logic
• Classes of the \(k\)-valued logic closed with respect to extended superposition operation
• Basic relations of the S-classification of functions of the multi-valued logic
• On expressibility of functions of many-valued logic in some logical-functional languages
• Extensions of the Positive Closure Operator by Using Logical Connectives
• Definition of positively closed classes by endomorphism semigroups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Completeness criterion with respect to the enumeration closure operator in the three-valued logic