On the enumeration closure operator in multivalued logic

DOI10.3103/S0278641915020053MaRDI QIDQ893188zbMATH OpenOpenAlexFDO

Authors S. 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

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

Recommendations

• Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions
• The closure operator in a multi-valued logic based on functional equations
• The equational closure operator
• On the structure of closed classes containing some classes of monotone functions in multivalued logic
• scientific article; zbMATH DE number 3875238

Cites work

• scientific article; zbMATH DE number 3162893 (Why is no real title available?)
• scientific article; zbMATH DE number 3819803 (Why is no real title available?)
• scientific article; zbMATH DE number 4085569 (Why is no real title available?)
• scientific article; zbMATH DE number 4085632 (Why is no real title available?)
• scientific article; zbMATH DE number 3657771 (Why is no real title available?)
• scientific article; zbMATH DE number 3700793 (Why is no real title available?)
• scientific article; zbMATH DE number 3763910 (Why is no real title available?)
• scientific article; zbMATH DE number 3771575 (Why is no real title available?)
• scientific article; zbMATH DE number 468645 (Why is no real title available?)
• scientific article; zbMATH DE number 1544631 (Why is no real title available?)
• Classes of the \(k\)-valued logic closed with respect to extended superposition operation
• Closure operators with predicate branching
• Discriminator positively complete classes of ternary logic
• FE classification of functions of many-valued logic
• Finitely Many Primitive Positive Clones
• On classifications of many-valued logic functions by means of automorphism groups
• On expressibility of functions of many-valued logic in some logical-functional languages
• Operator of positive closure
• The S-classification of three-valued logic functions.
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• The closure operator in a multi-valued logic based on functional equations

Cited in

(8)

• The FE-closure operator in countable-valued logic
• Extensions of the Positive Closure Operator by Using Logical Connectives
• Completeness criterion for the enumeration closure operator in three-valued logic
• The closure operator in a multi-valued logic based on functional equations
• Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions
• The equational closure operator
• Completeness criterion with respect to the enumeration closure operator in the three-valued logic
• Logical extensions of the parametric closure operator

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q893188)