Exclusively Indexical Deduction.

Published in: Rev. Symb. Log. (2016)

Keyphrases

inference rules
automated deduction
theorem proving
automated theorem proving
intuitionistic logic
knowledge base
computational complexity
computer algebra
learning algorithm
artificial intelligence
pairwise
domain specific