Local completeness, Pareto efficiency and Mackey Bishop-Phelps cones

AbstractIn this paper we study the class of claims problems where the amount to be divided is perfectly divisible and claims are made on indivisible units of several items. Each item has a price, and the available amount falls short to be able to cover all the claims at the given prices. We propose several properties that may be of interest in this particular framework. These properties represent the common principles of fairness, efficiency, and non-manipulability by merging or splitting. Efficiency is our focal principle, which is formalized by means of two axioms: non-wastefulness and Pareto efficiency. We show that some combinations of the properties we consider are compatible, others are not.

Download Full-text

Ex-ante estate division under strong Pareto efficiency

Mathematical Social Sciences ◽

10.1016/j.mathsocsci.2021.04.006 ◽

2021 ◽

Author(s):

Johannes M. Schumacher

Keyword(s):

Pareto Efficiency ◽

Ex Ante

Download Full-text

LCDD: Detecting Business Process Drifts Based on Local Completeness

IEEE Transactions on Services Computing ◽

10.1109/tsc.2020.3032787 ◽

2020 ◽

pp. 1-1

Author(s):

Leilei Lin ◽

Lijie Wen ◽

Li Lin ◽

Jisheng Pei ◽

Hedong Yang

Keyword(s):

Business Process ◽

Local Completeness

Download Full-text

Pareto efficiency and competitive equilibrium

General Equilibrium Theory ◽

10.1017/cbo9780511975356.027 ◽

2012 ◽

pp. 205-224

Author(s):

Ross M. Starr

Keyword(s):

Competitive Equilibrium ◽

Pareto Efficiency

Download Full-text

ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS

The Review of Symbolic Logic ◽

10.1017/s1755020315000027 ◽

2015 ◽

Vol 8 (2) ◽

pp. 296-305 ◽

Cited By ~ 7

Author(s):

NISSIM FRANCEZ

Keyword(s):

Natural Deduction ◽

Proof System ◽

Logical Constants ◽

Local Completeness ◽

Definition Of ◽

The Impact

AbstractThe paper proposes an extension of the definition of a canonical proof, central to proof-theoretic semantics, to a definition of a canonical derivation from open assumptions. The impact of the extension on the definition of (reified) proof-theoretic meaning of logical constants is discussed. The extended definition also sheds light on a puzzle regarding the definition of local-completeness of a natural-deduction proof-system, underlying its harmony.

Download Full-text