Axiomatizing the Skew Boolean Propositional Calculus.

Robert Veroff Matthew Spinks

Published in: J. Autom. Reason. (2006)

Keyphrases

propositional calculus
real valued
boolean functions
machine learning
real world
boolean logic
search engine
information systems
relational databases
distributed systems
aspect ratio
threshold functions