Non-elementary speed-ups in logic calculi.

Published in: Math. Log. Q. (2008)

Keyphrases

sequent calculi
set theory
logic programming
modal logic
predicate logic
automated reasoning
abductive reasoning
computational properties
real time
probability theory
classical logic
spatial relations
learning algorithm
genetic algorithm
neural network
asynchronous circuits
dynamic logic
school children
databases