Sub-classical Boolean Bunched Logics and the Meaning of Par.

James Brotherston Jules Villard

Published in: CSL (2015)

Keyphrases

expressive power
real valued
computer vision
neural network
real world
data mining
information retrieval
natural language
boolean functions
inference rules
classical methods
boolean queries
horn logic