On linear Brouwerian logics.

Zofia Kostrzycka

Published in: Math. Log. Q. (2014)

Keyphrases

expressive power
databases
inference rules
real world
genetic algorithm
decision trees
bayesian networks
support vector
least squares
closed form
classical logic