Lukas' Notes
Search
Search
Dark mode
Light mode
Proof
Jan 29, 2026
1 min read
type-theory
Graph View
Backlinks
Additive Conjunction (Linear Logic)
Additive Disjunction (Linear Logic)
Axiom
Calculus
Floyd's Rule (Hoare Calculus)
Intuitionistic Logic
Multiplicative Conjunction (Linear Logic)
Resolution