Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation.
Norihiro KamidePublished in: FLAP (2020)
Keyphrases
- cut elimination
- intuitionistic logic
- linear logic
- sequent calculus
- natural deduction
- inference rules
- horn clauses
- logic programming
- wide class
- first order logic
- proof theoretic
- sufficient conditions
- logic programs
- classical logic
- fixed point
- logical framework
- modal logic
- machine learning
- proof search
- reasoning tasks
- deductive databases
- general purpose
- expert systems
- fixpoint
- desirable properties
- knowledge base