Implicature, explicature and truth-theoretic semantics · Study