Lukas' Notes
Search
Search
Dark mode
Light mode
Tag: resolution
3 items with this tag.
Jun 02, 2026
Refutation (First-Order Resolution)
first-order-logic
resolution
Jun 02, 2026
Refutation (Propositional Resolution)
propositional-logic
resolution
Jun 02, 2026
Derivation (Propositional Resolution)
propositional-logic
resolution
proof-theory