Ellipsis and quantification: A substitutional approach

The paper describes a substitutional approach to ellipsis resolution giving comparable results to (Dalrymple et al., 1991), but without the need for order-sensitive interleaving of quantifier scoping and ellipsis resolution. It is argued that the orderindependence results from viewing semantic interpretation as building a description of a semantic composition, instead of the more common view of interpretation as actually performing the composition

Chapter Three Modal Semantics for Logics of Formal Inconsistency

This chapter collects three papers: 3.1 brings ‘Logics of essence and accident’