chapter  21
8 Pages

Extensions of TB: The System W

WithG. E. Hughes, D. G. Londey

TB contains no definitions, since it is simply an axiomatization of the implicational fragment of PC. But there is one definition we could add – for disjunction is definable in terms of material implication alone.