Proof complexity of intuitionistic implicational formulas.

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

Keyphrases

linear logic
theorem prover
neural network
sequent calculus
natural deduction
worst case
theorem proving
complete axiomatization
space complexity
computational cost
fuzzy numbers
real time
fuzzy set theory
bayesian networks
decision making
artificial intelligence
conjunctive query containment