Boolos-style proofs of limitative theorems.

György Serény

Published in: Math. Log. Q. (2004)

Keyphrases

sequent calculus
cut elimination
proof search
formal proofs
natural deduction
theorem proving
linear logic
mathematical proofs
database
equational theories
formal proof
decision procedures
search algorithm
multimedia
image processing
information retrieval
machine learning