Reduces the lifting problem for the Černý conjecture to verifying the conjecture on radical, simple, and quasi-simple reset automata via a Galois connection between congruences and ideals of the transition monoid.
A Primer on Galois Connections
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Conditions are derived under which the completion DM(RS) of rough sets from reflexive relations forms a regular pseudocomplemented Kleene algebra or a completely distributive double Stone algebra.
citing papers explorer
-
The hereditariness problem for the \v{C}ern\'y conjecture
Reduces the lifting problem for the Černý conjecture to verifying the conjecture on radical, simple, and quasi-simple reset automata via a Galois connection between congruences and ideals of the transition monoid.
-
Kleene and Stone algebras of rough sets induced by reflexive relations
Conditions are derived under which the completion DM(RS) of rough sets from reflexive relations forms a regular pseudocomplemented Kleene algebra or a completely distributive double Stone algebra.