A comparison between monoidal and substructural logics.

Clayton Peterson

Published in: J. Appl. Non Class. Logics (2016)

Keyphrases

propositional calculus
expressive power
machine learning
genetic algorithm
learning algorithm
artificial intelligence
database systems
multi agent
evolutionary algorithm
higher order
modal logic