Login / Signup

Propositional Skew Boolean Logic.

Robert J. BignallMatthew Spinks
Published in: ISMVL (1996)
Keyphrases
  • boolean logic
  • truth values
  • propositional logic
  • multi valued
  • first order logic
  • satisfiability testing
  • default logic
  • horn clauses
  • probabilistic logic
  • np complete
  • aspect ratio