Makinson, David C. (2014) Intelim rules for classical connectives. In: Hansson, Sven Ove, (ed.) David Makinson on Classical Methods for Non-Classical Problems. Outstanding Contributions to Logic (3). Springer Berlin / Heidelberg, Dordrecht, Netherlands, pp. 359-382. ISBN 9789400777583
Full text not available from this repository.Abstract
We investigate introduction and elimination rules for truth-functional connectives, focusing on the general questions of the existence, for a given connective, of at least one such rule that it satisfies, and the uniqueness of a connective with respect to the set of all of them. The answers are straightforward in the context of rules using general set/set sequents of formulae, but rather complex and asymmetric in the restricted (but more often used) context of set/formula sequents, as also in the intermediate set/formula-or-empty context.
| Item Type: | Book Section |
|---|---|
| Official URL: | http://www.springer.com/ |
| Additional Information: | © 2006 Springer Science+Business Media Dordrecht |
| Divisions: | Philosophy, Logic and Scientific Method |
| Subjects: | B Philosophy. Psychology. Religion > B Philosophy (General) B Philosophy. Psychology. Religion > BC Logic |
| Date Deposited: | 22 May 2014 13:24 |
| Last Modified: | 13 Sep 2024 17:26 |
| URI: | http://eprints.lse.ac.uk/id/eprint/56813 |
Actions (login required)
 |
View Item |
