A Rigid Cone in the Truth-Table Degrees with Jump.

Bjørn Kjos-Hanssen

Published in: Computability and Complexity (2017)

Keyphrases

truth table
defeasible logic
boolean functions
dnf formulas
convex sets
membership queries
finite number
log log