Algebraizable logics and a functorial encoding of its morphisms.

Darllan Conceição Pinto Hugo Luiz Mariano

Published in: Log. J. IGPL (2017)

Keyphrases

expressive power
modal logic
data sets
neural network
classical logic
encoding scheme
encoding schemes
databases
image processing
evolutionary algorithm
image quality
default logic
variable length
propositional calculus
propositional dynamic logic