On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras.

Afrodita Iorgulescu

Published in: J. Univers. Comput. Sci. (2007)

Keyphrases

distributive lattices
boolean algebra
spatial reasoning
relation algebra
temporal reasoning
topological spaces
clifford algebra
multi agent
interval algebra
data sets
neural network
social networks
knowledge base
website