Metacompleteness of Substructural Logics.

Published in: Stud Logica (2012)

Keyphrases

artificial neural networks
propositional calculus
expressive power
modal logic
data mining
learning algorithm
image processing
higher order
classical logic
nonmonotonic logics