We discuss conditions under which the following 'truism' does indeed express a truth: the weaker a logic is in terms of what it proves, the stronger it is as a tool for registering distinctions amongst the formulas in its language.
|Title of host publication||Logica Universalis|
|Subtitle of host publication||Towards a General Theory of Logic|
|Place of Publication||Switzerland|
|Number of pages||22|
|Publication status||Published - 1 Dec 2007|
- consequence relations
- synonymous formulas