A Note on the Complexity of Classical and Intuitionistic Proofs.

Matthias Baaz Alexander Leitsch Giselle Reis

Published in: LICS (2015)

Keyphrases

theorem prover
worst case
decision problems
natural deduction
computational complexity
computational cost
fuzzy set theory
logic programming
database
real time
information systems
model checking
real valued
theorem proving
formal proof