Proof complexity of intuitionistic implicational formulas.

Published in: CoRR (2015)

Keyphrases

linear logic
theorem prover
natural deduction
neural network
fuzzy set theory
conjunctive query containment
decision problems
real valued
inference rules
theorem proving
space complexity
complete axiomatization