Symmetry in sequent calculus and Matte Blanco's bi-logic.
Giulia BattilottiPublished in: ICCI*CC (2014)
Keyphrases
- sequent calculus
- cut elimination
- inference rules
- linear logic
- modal logic
- natural deduction
- linear time temporal logic
- business intelligence
- wide class
- proof search
- classical logic
- logical framework
- energy minimization
- image matting
- theorem proving
- temporal logic
- sufficient conditions
- theorem prover
- distribution function
- desirable properties
- probabilistic model