Three Theorems on n-REA Degrees: Proof-Readers and Verifiers.

Published in: CiE (2011)

Keyphrases

proof search
linear logic
sequent calculus
cut elimination
theorem prover
theorem proving
machine learning
case study
similarity measure
knowledge representation
natural deduction
database
decision making
database systems
topics covered
proof planning