V*-Algebras, Independence Algebras and Logic.

João Araújo Mário J. Edmundo Steven Givant

Published in: Int. J. Algebra Comput. (2011)

Keyphrases

relation algebra
boolean algebra
distributive lattices
spatial reasoning
topological spaces
clifford algebra
temporal reasoning
case study
expressive power
modal logic
predicate logic