Transitivity follows from Dummett's axiom (1978)

by J F A K van Benthem, W Blok
Venue:Theoria