Automorphisms of the truth-table degrees are fixed on a cone.

Bernard A. Anderson

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

Keyphrases

truth table
boolean functions
dnf formulas
defeasible logic
log log
constraint satisfaction
membership queries