Login / Signup
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices.
Félix Bou
Francesc Esteva
Josep Maria Font
Àngel J. Gil
Lluís Godo
Antoni Torrens
Ventura Verdú
Published in:
J. Log. Comput. (2009)
Keyphrases
</>
truth values
valued logic
inference rules
expressive power
data sets
artificial intelligence
classical logic
image details
propositional calculus
modal logic
computational properties
nonmonotonic logics
conditional logic