A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras.

Silvio Ghilardi Marek W. Zawadowski

Published in: J. Symb. Log. (1995)

Keyphrases

linear programming
decision making
search algorithm
visual representation
real time
databases
information systems
similarity measure
spatial reasoning
relation algebra