A Semantic Proof of Polytime Soundness of Light Affine Logic.
Ugo Dal LagoMartin HofmannPublished in: Theory Comput. Syst. (2010)
Keyphrases
- proof theory
- linear logic
- natural deduction
- semantic information
- logical rules
- logic programming
- proof theoretic
- proof search
- logical representation
- classical logic
- semantic knowledge
- domain specific
- sequent calculi
- semantic relationships
- theorem prover
- semantic similarity
- automated theorem proving
- high level
- semantic web
- semantic annotation
- semantic network
- conditional logic
- deontic logic
- computational properties
- semantic features
- inference rules
- affine transformation
- low level features
- automated reasoning
- domain ontology
- higher order logic
- default reasoning
- complete axiomatization
- theorem proving