We explore the interaction between conditional excluded middle and simplification of disjunctiveantecedents. After showing these principles to be nearly incompatible, we developan approach that fits in the narrow space they leave open.
|Number of pages||10|
|Publication status||Published - Dec 2017|
|Event||21st Amsterdam Colloquium, AC 2017 - Amsterdam, Netherlands|
Duration: 20 Dec 2017 → 22 Dec 2017
|Conference||21st Amsterdam Colloquium, AC 2017|
|Period||20/12/17 → 22/12/17|