DeepAI AI Chat
Log In Sign Up

The logical meaning of Expansion

02/20/2002
by   Daniel Lehmann, et al.
Hebrew University of Jerusalem
0

The Expansion property considered by researchers in Social Choice is shown to correspond to a logical property of nonmonotonic consequence relations that is the pure, i.e., not involving connectives, version of a previously known weak rationality condition. The assumption that the union of two definable sets of models is definable is needed for the soundness part of the result.

READ FULL TEXT

page 1

page 2

page 3

page 4

01/25/2023

A conventional expansion of first-order Belnap-Dunn logic

This paper concerns an expansion of first-order Belnap-Dunn logic named ...
04/21/2019

On the Taylor Expansion of Probabilistic λ-Terms (Long Version)

We generalise Ehrhard and Regnier's Taylor expansion from pure to probab...
03/25/2018

Proof nets and the instantiation overflow property

Instantiation overflow is the property of those second order types for w...
03/06/2023

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential

Logical relations built on top of an operational semantics are one of th...
04/27/2019

Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)

We introduce a new form of logical relation which, in the spirit of metr...
07/26/2022

Tolerance and degrees of truth

This paper explores the relations between two logical approaches to vagu...
08/10/2020

Wikidata Constraints on MARS (Extended Technical Report)

Wikidata constraints, albeit useful, are represented and processed in an...