Abstract
If a certain semantic relation (which we call 'local consequence') is allowed to guide expectations about which rules are derivable from other rules, these expectations will not always be fulfilled, as we illustrate. An alternative semantic criterion (based on a relation we call 'global consequence'), suggested by work of J.W. Garson, turns out to provide a much better - indeed a perfectly accurate - guide to derivability.
| Original language | English |
|---|---|
| Pages (from-to) | 451-461 |
| Number of pages | 11 |
| Journal | Journal of Philosophical Logic |
| Volume | 25 |
| Issue number | 5 |
| DOIs | |
| Publication status | Published - 1 Jan 1996 |
Keywords
- Consequence relations
- Rules