Independence of axiom system of basic algebras.

Ivan Chajda Miroslav Kolarík

Published in: Soft Comput. (2009)

Keyphrases

inference rules
relation algebra
clifford algebra
distributive lattices
data sets
decision making
modal logic
spatial reasoning
independence assumption
neural network
high level
face recognition
interval algebra
topological spaces
belief merging