A cut-free sequent calculus for relevant logic RW.
Mirjana IlicBranislav R. BoricicPublished in: Log. J. IGPL (2014)
Keyphrases
- sequent calculus
- cut elimination
- random walk
- linear logic
- inference rules
- natural deduction
- modal logic
- linear time temporal logic
- classical logic
- proof search
- wide class
- logical framework
- sufficient conditions
- fixed point
- automated reasoning
- theorem proving
- artificial intelligence
- desirable properties
- temporal logic
- logic programming
- supervised learning