Monadic Translation of Intuitionistic Sequent Calculus.
José Espírito SantoRalph MatthesLuís PintoPublished in: TYPES (2008)
Keyphrases
- sequent calculus
- cut elimination
- linear logic
- natural deduction
- inference rules
- wide class
- deductive databases
- logic programming
- modal logic
- fixed point
- proof search
- linear time temporal logic
- machine translation
- logical framework
- classical logic
- datalog programs
- theorem prover
- knowledge base
- theorem proving
- natural language