Closure operators with predicate branching

MaRDI QIDQ3372957zbMATH OpenFDO

Authors S. S. Marchenkov

Publication date 10 March 2006

zbMATH Keywords

closure operatormany-valued logic functionspredicate branching

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 6905
• Depth of formulas in some classes of k-valued logics
• scientific article; zbMATH DE number 3875238
• The closure operator with the equality predicate branching on the set of partial Boolean functions
• The equational closure operator

Cited in

(14)

• On the enumeration closure operator in multivalued logic
• On the lattice of \(ES_I\)-closed classes of multifunctions on two-elements set
• scientific article; zbMATH DE number 6958462 (Why is no real title available?)
• Equational closure
• On the structure of equationally closed classes
• Lattice of \(E\)-closed classes of multifunctions of rank 2
• The closure operator with the equality predicate branching on the set of hyperfunctions on two-element set
• Classification of multioperations of rank 2 by \(E\)-precomplete sets
• Splitting closure operators
• Verification, Model Checking, and Abstract Interpretation
• E-closed Sets of Hyperfunctions on Two-Element Se
• scientific article; zbMATH DE number 1479646 (Why is no real title available?)
• The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set
• Logical extensions of the parametric closure operator

This page was built for publication: Closure operators with predicate branching

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