Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions

DOI10.3103/S027864191903004XMaRDI QIDQ2287402zbMATH OpenOpenAlexFDO

Authors Vasilii A. Prostov, S. S. Marchenkov

Publication date 20 January 2020

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

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

zbMATH Keywords

closure with respect to enumerationoperators of equational closure

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• On the enumeration closure operator in multivalued logic
• The closure operator in a multi-valued logic based on functional equations
• On function classes in \(P _{3}\) precomplete with respect to a strengthened closure operator
• The equational closure operator
• The closure operator with the equality predicate branching on the set of partial Boolean functions

Cites work

• scientific article; zbMATH DE number 3150816 (Why is no real title available?)
• scientific article; zbMATH DE number 46852 (Why is no real title available?)
• A criterion for positive completeness in ternary logic
• Closure operators with positive connectives and quantifiers
• Completeness criterion for the enumeration closure operator in three-valued logic
• Equational closure
• Equationally closed classes of partial Boolean functions
• On the enumeration closure operator in multivalued logic
• Operator of positive closure
• The S-classification of three-valued logic functions.

Cited in

(11)

• The closure operator with the equality predicate branching on the set of partial Boolean functions
• On the enumeration closure operator in multivalued logic
• Equational closure
• On the structure of equationally closed classes
• scientific article; zbMATH DE number 4070867 (Why is no real title available?)
• Classification of multioperations of rank 2 by \(E\)-precomplete sets
• The closure operator in a multi-valued logic based on functional equations
• On classifications of many-valued logic functions by means of automorphism groups
• On function classes in \(P _{3}\) precomplete with respect to a strengthened closure operator
• The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set
• The equational closure operator

This page was built for publication: Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions

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