Login / Signup

Effective Finite-Valued Approximations of General Propositional Logics.

Matthias BaazRichard Zach
Published in: Pillars of Computer Science (2008)
Keyphrases
  • special case
  • default logic
  • propositional logic
  • valued logic
  • database
  • data sets
  • valued semantics
  • query language
  • first order logic
  • multi valued
  • classical logic