Phase Semantic Cut-Elimination and Normalization Proofs of First- and Higher-Order Linear Logic.
Mitsuhiro OkadaPublished in: Theor. Comput. Sci. (1999)
Keyphrases
- cut elimination
- linear logic
- higher order
- sequent calculus
- proof theoretic
- natural deduction
- wide class
- fixed point
- inference rules
- logical framework
- logic programming
- sufficient conditions
- proof search
- intuitionistic logic
- desirable properties
- pairwise
- linear time temporal logic
- machine learning
- high level
- modal logic
- natural language
- state space
- knowledge base