A Cut-Elimination Proof in Positive Relevant Logic with Necessity.
Mirjana IlicPublished in: Stud Logica (2021)
Keyphrases
- cut elimination
- linear logic
- sequent calculus
- natural deduction
- wide class
- proof theoretic
- sequent calculi
- inference rules
- proof search
- sufficient conditions
- modal logic
- intuitionistic logic
- linear time temporal logic
- theorem prover
- desirable properties
- logic programming
- proof theory
- logical framework
- knowledge base
- theorem proving
- fixed point
- classical logic
- first order logic
- software engineering
- training data