Lukasiewicz and Symmetrical Heyting Algebras.

Published in: Math. Log. Q. (1977)

Keyphrases

modal logic
set theory
truth values
spatial reasoning
topological spaces
relation algebra
temporal reasoning
clifford algebra
database
real time
genetic algorithm
decision trees
database systems
similarity measure
image analysis
boolean algebra