-Contractive BL-logics.

Matteo Bianchi Franco Montagna

Published in: Arch. Math. Log. (2011)

Keyphrases

expressive power
modal logic
fixed point
inference rules
fractal image coding
blended learning
epistemic logic
machine learning
artificial intelligence
artificial neural networks
vector quantization
affine transformation
nonmonotonic logics
proof theory