The Cut-Elimination Theorem for Differential Nets with Promotion.
Michele PaganiPublished in: TLCA (2009)
Keyphrases
- cut elimination
- intuitionistic logic
- sequent calculus
- linear logic
- natural deduction
- wide class
- inference rules
- sufficient conditions
- classical logic
- linear time temporal logic
- fixed point
- sequent calculi
- proof theoretic
- modal logic
- desirable properties
- probabilistic model
- theorem proving
- theorem prover
- first order logic