Automata Theory Approach to Predicate Intuitionistic Logic.
Maciej ZielenkiewiczAleksy SchubertPublished in: CoRR (2016)
Keyphrases
- automata theory
- intuitionistic logic
- graph theory
- linear logic
- learning theory
- classical logic
- student learning
- proof theoretic
- natural deduction
- first order logic
- computer science
- normal form
- learning objectives
- college level
- logic programming
- machine learning
- database design
- proof theory
- data model
- sufficient conditions