-algebras and their Logic.
Lawrence Peter BelluceAntonio Di NolaBrunella GerlaPublished in: Appl. Categorical Struct. (2007)
Keyphrases
- relation algebra
- logic programming
- boolean algebra
- temporal reasoning
- automated reasoning
- digital circuits
- neural network
- distributive lattices
- asynchronous circuits
- deontic logic
- computational properties
- multi valued
- modal logic
- logical framework
- classical logic
- set theory
- spatial reasoning
- expressive power
- proof theory
- information retrieval
- topological spaces
- machine learning
- real time