Keyphrases
- general theory
- proof theory
- logic programming
- speech acts
- proof theoretic
- natural language
- co occurrence
- theoretical basis
- formal semantics
- communicative acts
- database
- logical properties
- algebraic structure
- formal theory
- semantic representation
- semantic information
- web services
- artificial intelligence
- information retrieval