Intuitionistic Proof Transformations: Complexity and Applications.

Uwe Egly Stephan Schmitt

Published in: Electron. Notes Theor. Comput. Sci. (1998)

Keyphrases

linear logic
theorem prover
natural deduction
worst case
decision making
data structure
computational complexity
artificial neural networks
evolutionary algorithm
fixed point
inference rules
fuzzy numbers
classical logic
complete axiomatization