LW
Linguistic Presupposition Logic · Semantics and Pragmatics