Lean Logic for Lean Times: Entailment and Contradiction Revisited
Albert Gatt LIN3021 Formal Semantics Lecture 2. Aims Our aim today will be to: Revisit the principle of Compositionality and try to put it on a concrete.