Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem.

Marco B. Caminati

Published in: Formaliz. Math. (2011)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
valued logic
classical logic
natural deduction
first order logic
linear time temporal logic
proof search
social bookmarking
wide class
knowledge base
theorem prover
shape analysis
incomplete information
high level