Monadic Boolean algebras with an automorphism and their relation to ${\mathbf{Df}}_{\mathbf{2}}$-algebras.

Aldo V. Figallo Claudia M. Gomes

Published in: Soft Comput. (2020)

Keyphrases

relation algebra
spatial reasoning
distributive lattices
datalog queries
clifford algebra
real valued
topological spaces
database systems
temporal reasoning
boolean functions
boolean queries