Lukas' Notes
Search titles, aliases and note text. Use # for tags.
Retry
Dark mode
Light mode
Tag: proof-theory
38 items with this tag.
Calculus
logic
proof-theory
Complete Calculus
logic
proof-theory
Conjunction Elimination Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Conjunction Introduction Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Consistent Theory
proof-theory
Consistent Theory (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Deductive Closure
proof-theory
Deductive Closure (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Derivability
logic
proof-theory
Derivable Formula
proof-theory
Derivable Formula (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Derivation
proof-theory
Derivation (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Derivation (Propositional Resolution)
propositional-logic
resolution
proof-theory
Derived Inference Rule
proof-theory
Destructive Dilemma (Propositional Logic)
propositional-logic
proof-theory
Disjunction Elimination Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Disjunction Introduction Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Double Negation Elimination Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Elimination Inference Rule
proof-theory
Extensivity of Deductive Closure (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Hilbert Calculus
hilbert-calculus
proof-theory
Idempotence of Deductive Closure (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Implication Elimination Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Implication Introduction Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Indirect Proof
proof-theory
Introduction Inference Rule
proof-theory
Monotonicity of Deductive Closure (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Natural Deduction
proof-theory
Negation Introduction Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Proof
proof-theory
Proof (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Proof by Contradiction
proof-theory
Proof by Induction
proof-theory
Proof Theory
proof-theory
Sound Calculus
logic
proof-theory
Theorem
logic
proof-theory
Weak Negation Elimination Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
1
2
3
4
Page 1 of 4