Lukas' Notes

Proof

1 min read

Backlinks

Additive Conjunction (Linear Logic)
Additive Disjunction (Linear Logic)
Axiom
Calculus
Corollary
Derivable Consequent
Floyd's Rule (Hoare Calculus)
Intuitionistic Logic
Lemma
Methodological Solipsism
Multiplicative Conjunction (Linear Logic)
Provable Argument
Pumping Lemma (Regular Languages)

Created with Quartz v4.5.2 © 2026

GitHub