A discrete duality between nonmonotonic consequence relations and convex geometries

DOI10.1007/S11083-019-09497-0MaRDI QIDQ2183103zbMATH OpenOpenAlexWikidataFDO

Authors Johannes Marti, Riccardo Pinosio

Publication date 26 May 2020

Published in Order (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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)

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

Cites work

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

Cited in

(4)

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

Describes a project that uses

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)