A discrete duality between nonmonotonic consequence relations and convex geometries

DOI10.1007/S11083-019-09497-0zbMATH Open1481.03011OpenAlexW2952788422WikidataQ127733317 ScholiaQ127733317MaRDI QIDQ2183103FDOQ2183103

Authors: Johannes Marti, Riccardo Pinosio 

Publication date: 26 May 2020

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-019-09497-0

Recommendations

• On representation theorems for nonmonotonic consequence relations
• The discrete version of a geometric duality theorem
• scientific article; zbMATH DE number 1303529
• Disjunctive and conjunctive representations in finite lattices and convexity spaces
• On nonmonotonic consequence relations
• Duality for convex monoids
• scientific article; zbMATH DE number 827998
• scientific article; zbMATH DE number 3904338
• The geometry of non-distributive logics

zbMATH Keywords

dualityconditional logicantimatroidsconvex geometriesnonmonotonic consequence relationspath independent choice functions

Mathematics Subject Classification ID

Social choice (91B14) Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42) Axiomatic and generalized convexity (52A01)

Cites Work

• Optimal tableaux for conditional logics with cautious monotonicity
• Two modellings for theory change
• Nonmonotonic reasoning, preferential models and cumulative logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• The theory of convex geometries
• Join-semidistributive lattices and convex geometries.
• A class of infinite convex geometries
• A use for frequently rediscovering a concept
• Path Independence, Rationality, and Social Choice
• Quick completeness proofs for some logics of conditionals
• Title not available (Why is that?)
• Combinatorial representation and convex dimension of convex geometries
• Dynamic logics of evidence-based beliefs
• Dynamic interactive epistemology
• Greedoids
• Choice functions and abstract convex geometries
• Convex geometries
• Embedding convex geometries and a bound on convex dimension
• Locally complete path independent choice functions and their lattices
• The affine representation theorem for abstract convex geometries
• Conditional and preferential logics. Proof methods and theorem proving.
• A game semantics for system P
• The duality between the anti-exchange closure operators and the path independent choice operators on a finite set
• From onions to broccoli: generalizing Lewis' counterfactual logic
• Title not available (Why is that?)
• Hyper-relations, choice functions, and orderings of opportunity sets
• Partition and revision: the semantics of counterfactuals
• Possibilistic reasoning with partially ordered beliefs
• Title not available (Why is that?)
• Homomorphisms and Ramsey properties of antimatroids
• Antimatroids of finite character
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• Title not available (Why is that?)
• Standard sequent calculi for Lewis' logics of counterfactuals
• A new characterization of the path independent choice functions
• The algebraic face of minimality

Cited In (4)

• SOME ORDER DUALITIES IN LOGIC, GAMES AND CHOICES
• CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
• Resolutions of convex geometries
• Complementary choice functions

Uses Software

• CoLoSS

This page was built for publication: A discrete duality between nonmonotonic consequence relations and convex geometries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2183103)