On complete representations of algebras of logic.

Mohamed Khaled Tarek Sayed Ahmed

Published in: Log. J. IGPL (2009)

Keyphrases

relation algebra
multi valued
modal logic
boolean algebra
machine learning
logic programming
computational properties
multiple representations
asynchronous circuits
knowledge base
relational databases
symbolic representation
automated reasoning
classical logic
deontic logic
topological spaces