Books on Amazon
Substitution/eliminability/Schiffer: is made possible here by the predicate "means the same as". - Likewise, elimination of ambiguity. - Does not require compositional semantics. - Extension for radical interpretation/natural language/Schiffer: new predicate "x1 means for x2 x3 which means x4".
Remnants of Meaning Cambridge 1987