A Semantic Proof of Polytime Soundness of Light Affine Logic.
Ugo Dal LagoMartin HofmannPublished in: CSR (2008)
Keyphrases
- proof theory
- natural deduction
- proof search
- linear logic
- proof theoretic
- sequent calculi
- semantic information
- natural language
- complete axiomatization
- classical logic
- semantic knowledge
- domain specific
- affine invariant
- semantic similarity
- logic programming
- theorem prover
- semantic representation
- semantic description
- modal logic
- logical rules
- high level
- higher order logic
- cut elimination
- logical representation
- semantic web
- predicate logic
- natural language understanding
- image registration
- theorem proving