On the complexsity of some substructural logics.

Wojciech Buszkowski

Published in: Reports Math. Log. (2008)

Keyphrases

propositional calculus
expressive power
inference rules
real time
image processing
modal logic
nonmonotonic logics
neural network
real world
machine learning
artificial intelligence
image sequences
probabilistic model
classical logic
conditional logic
horn logic