Logic of Convex Order

&
Studia Logica 109 (5):1019-1047 (2021)
  Copy   BIBTEX

Abstract

Based on a pre-order on a set, we axiomatize the Egli-Milner order on the power set and show how it is related to the Lewis order. Moreover, we consider a strict version of the Egli-Milner order and show how it can be related to the semantics of conditionals based on a priority structure.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-020-09940-z

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Weak density of states.Gottfried T. Rüttimann - 1989 - Foundations of Physics 19 (9):1101-1112.
Characterizations of differentiability for h-convex functions in stratified groups.Valentino Magnani & Matteo Scienza - 2014 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 13 (3):675-697.
Is Hintikka's Logic First-Order?Matti Eklund & Daniel Kolak - 2002 - Synthese 131 (3):371-388.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Capturing Consequence.Alexander Paseau - 2019 - Review of Symbolic Logic 12 (2):271-295.
Arity and alternation in second-order logic.J. A. Makowsky & Y. B. Pnueli - 1994 - Annals of Pure and Applied Logic 78 (1-3):189-202.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.
Modal Logics for Qualitative Spatial Reasoning.Brandon Bennett - 1996 - Logic Journal of the IGPL 4 (1):23-45.
Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans (ed.), Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.
On the second order derivatives of convex functions on the Heisenberg group.Cristian E. Gutiérrez & Annamaria Montanari - 2004 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 3 (2):349-366.
A model-theoretic characterization of monadic second order logic on infinite words.Silvio Ghilardi & Samuel J. van Gool - 2017 - Journal of Symbolic Logic 82 (1):62-76.
An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Non‐elementary speed‐ups in logic calculi.Toshiyasu Arai - 2008 - Mathematical Logic Quarterly 54 (6):629-640.

Analytics

Added to PP
2021-02-19

Downloads
15 (#929,240)

6 months
5 (#633,186)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Counterfactuals.David Lewis - 1973 - Philosophy of Science 42 (3):341-344.
A Theory of Truthmaker Content I: Conjunction, Disjunction and Negation.Kit Fine - 2017 - Journal of Philosophical Logic 46 (6):625-674.

View all 11 references / Add more references