Intelim rules for classical connectives
Makinson, D. C.
(2014).
Intelim rules for classical connectives.
In
Hansson, S. O.
(Ed.),
David Makinson on Classical Methods for Non-Classical Problems
(pp. 359-382).
Springer Berlin / Heidelberg.
https://doi.org/10.1007/978-94-007-7759-0_16
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 | Chapter |
|---|---|
| Copyright holders | © 2006 Springer Science+Business Media Dordrecht |
| Departments | LSE > Academic Departments > Philosophy, Logic and Scientific Method |
| DOI | 10.1007/978-94-007-7759-0_16 |
| Date Deposited | 22 May 2014 |
| URI | https://researchonline.lse.ac.uk/id/eprint/56813 |
Explore Further
- http://www.springer.com/philosophy/logic+and+philosophy+of+language/book/978-94-007-7758-3 (Related item)
- https://www.scopus.com/pages/publications/85067976275 (Scopus publication)
- http://www.springer.com/ (Official URL)