Infima in the Recursively Enumerable Weak Truth Table Degrees.

Rich Blaylock Rodney G. Downey Steffen Lempp

Published in: Notre Dame J. Formal Log. (1997)

Keyphrases

truth table
recursively enumerable
boolean functions
defeasible logic
recursive functions
real valued functions
inductive inference
dnf formulas
log log
membership queries
neural network
feature space
small number
uniform distribution