Phase Semantics for Higher Order Completeness, Cut-Elimination and Normalization Proofs.
Mitsuhiro OkadaPublished in: Electron. Notes Theor. Comput. Sci. (1996)
Keyphrases
- cut elimination
- higher order
- sequent calculus
- proof theoretic
- linear logic
- natural deduction
- wide class
- inference rules
- sufficient conditions
- proof theory
- intuitionistic logic
- logic programming
- formal semantics
- modal logic
- logical framework
- pairwise
- theorem prover
- proof search
- graphical representation
- desirable properties
- markov random field
- automated reasoning
- computational properties
- default reasoning
- conditional logic
- fixed point
- first order logic
- graphical models
- linear time temporal logic