Pairs Without Infimum in the Recursively Enumerable Weak Truth Table Degrees.

Published in: J. Symb. Log. (1986)

Keyphrases

truth table
boolean functions
defeasible logic
recursive functions
recursively enumerable
real valued functions
inductive inference
dnf formulas
pairwise
neural network
case based reasoning
linear programming
log log