Keyphrases
- relation algebra
- algebraic structure
- computer algebra
- relational calculus
- formal language
- sequent calculus
- classical logic
- natural deduction
- proof procedure
- computational properties
- formal logic
- relevance feedback
- expressive power
- modal logic
- proof theoretic
- transition systems
- information retrieval
- inference rules
- automated reasoning
- logic programming
- proof theory
- automated theorem proving
- semantic relations
- qualitative spatial reasoning
- interval algebra
- propositional logic
- horn clauses
- spatial relations
- binary relations
- query language
- spatial reasoning
- relational databases