A Cut-Elimination Proof in Intuitionistic Predicate Logic.
Mirjana BorisavljevicPublished in: Ann. Pure Appl. Log. (1999)
Keyphrases
- predicate logic
- cut elimination
- linear logic
- sequent calculus
- natural deduction
- temporal logic
- modal logic
- knowledge representation and reasoning
- wide class
- inference rules
- formal logic
- proof search
- proof theoretic
- sequent calculi
- fixed point
- logic programming
- sufficient conditions
- theorem prover
- predicate calculus
- computational linguistics
- lower level
- logical framework
- semantic network
- linear time temporal logic
- desirable properties
- logic programs
- high level
- information extraction
- knowledge representation