Ribbon Tensorial Logic.

Paul-André Melliès

Published in: LICS (2018)

Keyphrases

modal logic
classical logic
predicate logic
multi valued
computational properties
proof theory
information systems
data sets
neural network
genetic algorithm
bayesian networks
defeasible logic
deontic logic