Systems of Logic Based on Ordinals was the PhD dissertation of the mathematician Alan Turing.
Turing's thesis is not about a new type of formal logic, nor was he interested in so-called "ranked logic" systems derived from ordinal or relative numbering, in which comparisons can be made between truth-states on the basis of relative veracity. From Wikipedia
