Characterization of Generalized Necessity Functions in Łukasiewicz Logic.

Tommaso Flaminio Tomás Kroupa

Published in: NL-MUA (2011)

Keyphrases

logic programming
multi valued
neural network
information retrieval
information systems
multiscale
basis functions
modal logic
automated reasoning
classical logic
set theory
epistemic logic
quasiconvex