Derives query lower bounds matching lattice width for Tarski fixed point enumeration of isotone maps and gives poly-space algorithms for increasing/decreasing cases on lattices including binary relations.
Davey & Hilary A
5 Pith papers cite this work. Polarity classification is still indexing.
5
Pith papers citing it
verdicts
UNVERDICTED 5representative citing papers
A formalism for default reasoning over Segerberg's deontic action logic, extended via Boolean algebra tools to preserve algebraic completeness.
Introduces models with world-dependent evidence sets to distinguish actual evidence entailment from known entailment, with a sound and complete bi-modal axiomatization generalizing topological spaces.
The paper gives a Priestley representation for distributive precontact lattices and links precontact substructures, strong sublattices, and congruences to lattice preorders and closed sets in the dual space.
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
-
On the enumeration of Tarski fixed points
Derives query lower bounds matching lattice width for Tarski fixed point enumeration of isotone maps and gives poly-space algorithms for increasing/decreasing cases on lattices including binary relations.
-
An Algebraic Approach for Action Based Default Reasoning
A formalism for default reasoning over Segerberg's deontic action logic, extended via Boolean algebra tools to preserve algebraic completeness.
-
Uncertainty About Evidence
Introduces models with world-dependent evidence sets to distinguish actual evidence entailment from known entailment, with a sound and complete bi-modal axiomatization generalizing topological spaces.
-
Priestley Representation of Distributive Precontact Lattices
The paper gives a Priestley representation for distributive precontact lattices and links precontact substructures, strong sublattices, and congruences to lattice preorders and closed sets in the dual space.
-
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.