A proof of Gentzen's Hauptsatz without multicut.

Published in: Arch. Math. Log. (2001)

Keyphrases

sequent calculus
linear logic
theorem prover
information retrieval
learning algorithm
information systems
bayesian networks
real world
machine learning
artificial intelligence
feature selection
website
decision trees
theorem proving
natural deduction