Constructive Dimension and Weak Truth-Table Degrees

Laurent Bienvenu David Doty Frank Stephan

Published in: CoRR (2007)

Keyphrases

truth table
defeasible logic
boolean functions
dnf formulas
information systems