On the computational content of intuitionistic propositional proofs.

Samuel R. Buss Pavel Pudlák

Published in: Ann. Pure Appl. Log. (2001)

Keyphrases

theorem prover
interval valued
first order logic
natural deduction
multimedia
theorem proving
fuzzy set theory
propositional logic
metadata
digital content
multimedia content
web content
user experience
cut elimination
inference rules
formal proof
equational theories
mathematical proofs