Related terms:
intuitionistic
lnot
tautology
turnstile
sequent
modus ponens
every formula
disjunction
lor
neg
propositional
classical logic
structural rules
Wikipedia sources:
Kripke semantics
Sequent calculus
Saul Kripke
Pushdown automaton
Propositional calculus
Linear temporal logic
Sequent
Begriffsschrift
Combinatory logic
Deduction theorem
Forcing (mathematics)
Consistency
Entailment
Intuitionistic type theory
Simply typed lambda calculus
List of rules of inference
Paraconsistent logic
Contradiction
Structure (mathematical logic)
Modus tollens
Generalization (logic)
Impossible world
Proof by contradiction
Turnstile (symbol)
Boolean algebra
Logical conjunction
Logical assertion
Rule of inference
Motive (algebraic geometry)
List of mathematical symbols
Context for words:
vdash
|
|