Keyphrases
- boolean algebra
- set theory
- relation algebra
- logic programming
- algebraic structure
- classical logic
- data model
- multi valued
- relational algebra
- asynchronous circuits
- logical framework
- information systems
- modal logic
- algebraic expressions
- query language
- digital circuits
- predicate logic
- algebraic geometry
- database
- dynamic logic
- distributive lattices
- deontic logic
- abductive reasoning
- automated reasoning
- inference rules
- temporal logic
- expressive power
- database systems
- information retrieval