Sign in

Characterization of Generalized Necessity Functions in Łukasiewicz Logic.

Tommaso FlaminioTomá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