A Family of Finite de Morgan and Kleene Algebras.

Carol L. Walker Elbert A. Walker

Published in: Int. J. Uncertain. Fuzziness Knowl. Based Syst. (2012)

Keyphrases

propositional logic
clifford algebra
regular expressions
distributive lattices
finite number
temporal reasoning
finite automata
special case
spatial reasoning
computer vision
database systems
social networks
machine learning
databases
unit length
equational theories
real time
database