The equational closure operator

MaRDI QIDQ2455329zbMATH OpenFDO

Authors S. S. Marchenkov

Publication date 22 October 2007

Published in Doklady Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Many-valued logic (03B50) Other algebras related to logic (03G25) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Recommendations

• 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
• Equational closure
• On the enumeration closure operator in multivalued logic
• On classifications of many-valued logic functions by means of automorphism groups

Cited in

(6)

• Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions
• The closure operator with the equality predicate branching on the set of hyperfunctions on two-element set
• The closure operator in a multi-valued logic based on functional equations
• Closure operators with predicate branching
• Equational closure
• On the enumeration closure operator in multivalued logic

This page was built for publication: The equational closure operator

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