Closure operators with predicate branching

zbMATH Open1084.03018MaRDI QIDQ3372957FDOQ3372957

Authors: S. S. Marchenkov 

Publication date: 10 March 2006

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

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)

Cited In (14)

• Title not available (Why is that?)
• On the enumeration closure operator in multivalued logic
• On the lattice of \(ES_I\)-closed classes of multifunctions on two-elements set
• 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
• Title not available (Why is that?)
• 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)