Abstract
In this paper we present a duality between nonmonotonic consequence relations and well-founded convex geometries. On one side of the duality we consider nonmonotonic consequence relations satisfying the axioms of an infinitary variant of System P, which is one of the most studied axiomatic systems for nonmonotonic reasoning, conditional logic and belief revision. On the other side of the duality we consider well-founded convex geometries, which are infinite convex geometries that generalize well-founded posets. Since there is a close correspondence between nonmonotonic consequence relations and path independent choice functions one can view our duality as an extension of an existing duality between path independent choice functions and convex geometries that has been developed independently by Koshevoy and by Johnson and Dean.
Original language | English |
---|---|
Number of pages | 21 |
Journal | Order |
Early online date | 10 Jun 2019 |
DOIs | |
Publication status | E-pub ahead of print - 10 Jun 2019 |
Keywords
- convex geometrie
- antimatroids
- nonmonotonic consequence relations
- conditional logic
- path independent choice functions
- duality