Automata Theory Approach to Predicate Intuitionistic Logic.

Maciej Zielenkiewicz Aleksy Schubert

Published in: LOPSTR (2016)

Keyphrases

automata theory
intuitionistic logic
graph theory
classical logic
linear logic
learning theory
student learning
natural deduction
proof theoretic
college level
computer science
first order logic
normal form
learning objectives
logic programming
data mining
proof theory
cut elimination
cooperative