Equational closure

DOI10.1515/156939205774464495MaRDI QIDQ5491213zbMATH OpenOpenAlexFDO

Authors S. S. Marchenkov

Publication date 10 October 2006

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

Full work available at URL https://doi.org/10.1515/156939205774464495

zbMATH Keywords

Boolean functionsequationally closed classesequationally complete systemsequationally precomplete classesfunctions of many-valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Other algebras related to logic (03G25) Boolean functions (06E30)

Recommendations

• On the structure of equationally closed classes
• Equationally closed classes of partial Boolean functions
• The equational closure operator
• Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions
• Characterization of sets of discrete functions by algebraic identities

Cites work

• Closure operators with predicate branching
• scientific article; zbMATH DE number 3763910 (Why is no real title available?)
• scientific article; zbMATH DE number 1544631 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• The S-classification of three-valued logic functions.
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

Cited in

(6)

• Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions
• The equational closure operator
• Characterization of sets of discrete functions by algebraic identities
• On the structure of equationally closed classes
• Logical extensions of the parametric closure operator
• Solutions to the systems of functional equations of multivalued logic

This page was built for publication: Equational closure

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