Keyphrases
- boolean algebra
- set theory
- relation algebra
- algebraic structure
- modal logic
- classical logic
- query language
- mathematical model
- numerical solution
- automated reasoning
- asynchronous circuits
- data model
- linear equations
- algebraic geometry
- multi valued
- relational algebra
- differential equations
- logical framework
- probabilistic logic
- linear systems
- algebraic operations
- logic programming
- sound and complete axiomatization