Ordinal logics

By Feferman, Solomon

By an ordinal logic is meant any uniform effective means of associating a logic (that is, an effectively generated formal system) with each effective ordinal representation. This notion ...