Lukas' Notes
Search
Search
Dark mode
Light mode
Home
❯
tags
❯
Tag: proof-theory
Tag: proof-theory
8 items with this tag.
May 01, 2026
Refutation (Propositional Resolution)
propositional-logic
resolution
proof-theory
May 01, 2026
Proof Theory
proof-theory
May 01, 2026
Proof by Contradiction
proof-theory
May 01, 2026
Proof by Induction
proof-theory
May 01, 2026
Indirect Proof
proof-theory
May 01, 2026
Entailment–Unsatisfiability Duality
logic
proof-theory
May 01, 2026
Derivation (Propositional Resolution)
propositional-logic
resolution
proof-theory
May 01, 2026
Calculus
logic
proof-theory