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 (US) |
|---|---|
| Pages | 195-204 |
| Number of pages | 10 |
| State | Published - Jan 1 2017 |
| Event | 21st Amsterdam Colloquium, AC 2017 - Amsterdam, Netherlands Duration: Dec 20 2017 → Dec 22 2017 |
Conference
| Conference | 21st Amsterdam Colloquium, AC 2017 |
|---|---|
| Country/Territory | Netherlands |
| City | Amsterdam |
| Period | 12/20/17 → 12/22/17 |
ASJC Scopus subject areas
- Computational Theory and Mathematics
- Software