A Clausal Approach to Proof Analysis in Second-Order Logic.

Stefan Hetzl Alexander Leitsch Daniel Weller Bruno Woltzenlogel Paleo

Published in: LFCS (2009)

Keyphrases

statistical analysis
data sets
learning algorithm
defeasible logic
database
neural network
information systems
data analysis
image analysis
higher order
quantitative analysis
theorem proving
logical framework
linear logic
proof theory