Lukas' Notes
Search
Search
Dark mode
Light mode
Proof
Dec 14, 2025
1 min read
type-theory
Graph View
Backlinks
Additive Conjunction (Linear Logic)
Additive Disjunction (Linear Logic)
Multiplicative Conjunction (Linear Logic)
Resolution