Search for tag: "goo"
CL - SequentsWe introduce sequents, where we have finite sets of predicates on both sides of the turnstile.
From Haoran Peng
0 likes
345 plays
0
|