Lukas' Notes
Search titles, aliases and note text. Use # for tags.
Retry
Dark mode
Light mode
Tag: hilbert-calculus
19 items with this tag.
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 (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Deductive Closure (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Derivable Formula (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Derivation (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
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
Extensivity of Deductive Closure (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Hilbert Calculus
hilbert-calculus
proof-theory
Hilbert Calculus (Propositional Logic)
propositional-logic
hilbert-calculus
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
Monotonicity of Deductive Closure (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Negation Introduction Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Proof (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Weak Negation Elimination Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
1
2
Page 1 of 2