Faulty Belnap computers and subsystems of FDE

Thomas Macaulay Ferguson. Faulty Belnap computers and subsystems of FDE. Journal of Logic and Computation, 26(5):1617-1636, 2016. [doi]

Abstract

Abstract is missing.