Login / Signup
Topological representation of intuitionistic and distributive abstract logics.
Andreas Bernhard Michael Brunner
Steffen Lewitzka
Published in:
CoRR (2015)
Keyphrases
</>
classical logic
graphical representation
geometric objects
expressive power
representation scheme
topological properties
high level
mobile robot
rough sets
modal logic
fuzzy numbers
interval valued