On the enumeration closure operator in multivalued logic

DOI10.3103/S0278641915020053zbMATH Open1337.03034OpenAlexW574916794MaRDI QIDQ893188FDOQ893188

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

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

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)

Cites Work

• FE classification of functions of many-valued logic
• The closure operator in a multi-valued logic based on functional equations
• On classifications of many-valued logic functions by means of automorphism groups
• Title not available (Why is that?)
• Finitely Many Primitive Positive Clones
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Closure operators with predicate branching
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Operator of positive closure
• On expressibility of functions of many-valued logic in some logical-functional languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Classes of the \(k\)-valued logic closed with respect to extended superposition operation
• The S-classification of three-valued logic functions.
• Discriminator positively complete classes of ternary logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)