A discrete duality between nonmonotonic consequence relations and convex geometries

Johannes Marti, Riccardo Pinosio

Research output: Contribution to journalArticle

14 Downloads (Pure)

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 languageEnglish
Number of pages21
JournalOrder
Early online date10 Jun 2019
DOIs
Publication statusE-pub ahead of print - 10 Jun 2019

Keywords

  • convex geometrie
  • antimatroids
  • nonmonotonic consequence relations
  • conditional logic
  • path independent choice functions
  • duality

Fingerprint Dive into the research topics of 'A discrete duality between nonmonotonic consequence relations and convex geometries'. Together they form a unique fingerprint.

  • Cite this