Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Logica Universalis |
| Subtitle of host publication | Towards a General Theory of Logic |
| Editors | Jean-Yves Beziau |
| Place of Publication | Basel Switzerland |
| Publisher | Birkhauser |
| Pages | 207-228 |
| Number of pages | 22 |
| Edition | 1st |
| ISBN (Print) | 3764372591, 9783764372590 |
| DOIs | |
| Publication status | Published - 1 Dec 2005 |
Keywords
- Consequence relations
- logics
- Synonymous formulas