Login / Signup

Logics preserving degrees of truth from varieties of residuated lattices.

Félix BouFrancesc EstevaJosep Maria FontÀngel J. GilLluís GodoAntoni TorrensVentura Verdú
Published in: J. Log. Comput. (2012)
Keyphrases
  • truth values
  • expressive power
  • valued logic
  • inference rules
  • modal logic
  • nonmonotonic logics
  • classical logic
  • video sequences