Search for tag: "singleton"
CL - 5x - Supplementary on SequentsThis video includes a couple of points from a 2019 review lecture on Sequents.First we discuss how to use reduction to find an inhabited model in which Γ ⊨ Δ, which is equivalent to…
From Haoran Peng
0 likes
25 plays
0
|
|