An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus.
Tatjana LutovacPublished in: BCI (2012)
Keyphrases
- linear logic
- sequent calculus
- cut elimination
- proof search
- fixed point
- inference rules
- proof theoretic
- logical framework
- logic programming
- modal logic
- desirable properties
- propositional logic
- default logic
- natural deduction
- general purpose
- linear time temporal logic
- probability distribution
- programming language
- object oriented