Abstract
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.
Original language | English |
---|---|
Pages | 195-204 |
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
Conference | 21st Amsterdam Colloquium, AC 2017 |
---|---|
Country/Territory | Netherlands |
City | Amsterdam |
Period | 20/12/17 → 22/12/17 |