Login / Signup

On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics.

Marcelo E. ConiglioFrancesc EstevaLluís Godo
Published in: Log. J. IGPL (2016)
Keyphrases
  • truth values
  • modal logic
  • expressive power
  • lower bound
  • partial order
  • partially ordered
  • real time
  • bayesian networks
  • feature space
  • query language
  • inference rules
  • classical logic
  • set theory
  • image details