Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts.
José Espírito SantoMaria João FradeLuís PintoPublished in: TYPES (2016)
Keyphrases
- linear logic
- sequent calculus
- cut elimination
- natural deduction
- inference rules
- fixed point
- proof search
- logical framework
- logic programming
- wide class
- theorem prover
- linear time temporal logic
- modal logic
- sufficient conditions
- artificial intelligence
- machine learning
- theorem proving
- desirable properties
- graphical models
- learning algorithm