Homogenous alternative semantics

Fabrizio Cariani, Simon Goldstein

Research output: Contribution to conferencePaperpeer-review

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 languageEnglish (US)
Pages195-204
Number of pages10
StatePublished - Jan 1 2017
Event21st Amsterdam Colloquium, AC 2017 - Amsterdam, Netherlands
Duration: Dec 20 2017Dec 22 2017

Conference

Conference21st Amsterdam Colloquium, AC 2017
CountryNetherlands
CityAmsterdam
Period12/20/1712/22/17

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

Fingerprint Dive into the research topics of 'Homogenous alternative semantics'. Together they form a unique fingerprint.

Cite this