Lukas' Notes
Search
Search
Dark mode
Light mode
Proof
May 01, 2026
1 min read
type-theory
Graph View
Backlinks
Additive Conjunction (Linear Logic)
Additive Disjunction (Linear Logic)
Axiom
Calculus
Corollary
Derivable Consequent
Floyd's Rule (Hoare Calculus)
Intuitionistic Logic
Lemma
Multiplicative Conjunction (Linear Logic)
Provable Argument
Pumping Lemma (Regular Languages)