A discrete duality between nonmonotonic consequence relations and convex geometries

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

Riccardo Pinosio, Johannes Marti

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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Optimal Tableaux for Conditional Logics with Cautious Monotonicity
• Two modellings for theory change
• Nonmonotonic reasoning, preferential models and cumulative logics
• 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
• 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
• 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
• Hyper-relations, choice functions, and orderings of opportunity sets
• Partition and revision: the semantics of counterfactuals
• Possibilistic reasoning with partially ordered beliefs
• Homomorphisms and Ramsey properties of antimatroids
• Antimatroids of finite character
• A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
• Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
• A new characterization of the path independent choice functions
• The algebraic face of minimality

Cited In (3)

• CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
• Resolutions of convex geometries
• Complementary choice functions

Uses Software

• CoLoSS

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On representation theorems for nonmonotonic consequence relations 👍 👎
• The geometry of non-distributive logics 👍 👎
• Disjunctive and conjunctive representations in finite lattices and convexity spaces 👍 👎
• On nonmonotonic consequence relations 👍 👎
• Duality for convex monoids 👍 👎
• The discrete version of a geometric duality theorem 👍 👎

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)