Intersection Logic in sequent calculus style
Simona Ronchi Della RoccaAlexis SaurinYiorgos StavrinosAnastasia VenetiPublished in: ITRS (2010)
Keyphrases
- sequent calculus
- cut elimination
- inference rules
- linear logic
- natural deduction
- modal logic
- linear time temporal logic
- wide class
- classical logic
- theorem proving
- proof search
- theorem prover
- temporal logic
- first order logic
- sufficient conditions
- logical framework
- high level
- markov random field
- probability distribution