Automata theory approach to predicate intuitionistic logic.
Maciej ZielenkiewiczAleksy SchubertPublished in: J. Log. Comput. (2022)
Keyphrases
- automata theory
- intuitionistic logic
- graph theory
- classical logic
- learning theory
- linear logic
- natural deduction
- student learning
- computer science
- first order logic
- proof theoretic
- learning objectives
- model checker
- inference rules
- normal form
- logic programming
- theorem proving
- machine learning
- college level
- learning activities
- multi agent
- knowledge base