Topological Representation of Intuitionistic and Distributive Abstract Logics.

Andreas Bernhard Michael Brunner Steffen Lewitzka

Published in: Logica Universalis (2017)

Keyphrases

spatial relations
inference rules
higher level
image representation
expressive power
fuzzy information
modal logic
fuzzy numbers
anti unification
decision making
linear logic
topological information
feature representation
binary images
object recognition
bayesian networks
high level