A Gentzen Calculus for Nothing but the Truth.

Stefan Wintein Reinhard Muskens

Published in: J. Philos. Log. (2016)

Keyphrases

sequent calculus
cut elimination
linear time temporal logic
inference rules
linear logic
truth values
natural deduction
modal logic
formal language
neural network
theorem proving
decision trees
proof search
data sets
case study
automated deduction
provably correct
computer algebra
knowledge base
data mining