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.© 2007 Birkhäuser Verlag Basel/Switzerland.
CITATION STYLE
Humberstone, L. (2007). Logical discrimination. In Logica Universalis: Towards a General Theory of Logic (pp. 225–246). Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-8354-1_12
Mendeley helps you to discover research relevant for your work.