A Coalgebraic View of Heyting Duality.

Brian A. Davey John C. Galati

Published in: Stud Logica (2003)

Keyphrases

multiple views
linear programming
real world
artificial intelligence
set theory
database
feature selection
decision trees
similarity measure
pattern recognition
knowledge representation
d objects
multi view