Search
❯
Dec 08, 20251 min read
Logic where you go from conclusion to proof Relates to Proof Theoretic Semantics