Nelson algebras through Heyting ones: I.

Andrzej Sendlewski

Published in: Stud Logica (1990)

Keyphrases

set theory
distributive lattices
boolean algebra
real time
topological spaces
clifford algebra
spatial reasoning
multi agent
feature selection
bayesian networks
pattern recognition
expert systems
np hard
temporal reasoning
interval algebra