Abstract

Belnap highlighted the role of Transitivity in Prior's triviality proof involvingtonk, but a non-trivial, non-transitive logic withtonkwas never developed until Cook's proposal with four interpretations and a disjunctive consequence relation. We improve on that proposal: we show that only three interpretations suffice and that a non-disjunctive consequence relation is not required.