Makinson, David C. (2014) Relevance logic as a conservative extension of classical logic. In: Hansson, Sven Ove, (ed.) David Makinson on Classical Methods for Non-Classical Problems. Outstanding contributions to logic (Vol.3). Springer Berlin / Heidelberg, Dordrecht, Netherlands, pp. 383-398. ISBN 9789400777583
Full text not available from this repository.Abstract
Relevance logic is ordinarily seen as a subsystem of classical logic under the translation that replaces arrows by horseshoes. If, however, we consider the arrow as an additional connective alongside the horseshoe, then another perspective emerges: the theses of relevance logic, specifically the system R, may also be seen as the output of a conservative extension of the relation of classical consequence. We describe two ways in which this may be done. One is by defining a suitable closure relation out of the set of theses of relevance logic; the other is by adding to the usual natural deduction system for it further rules with ‘projective constraints’, whose application restricts the subsequent application of other rules. The significance of the two constructions is also discussed.
Item Type: | Book Section |
---|---|
Official URL: | http://www.springer.com/?SGWID=3-102-0-0-0 |
Additional Information: | © 2014 Springer Science+Business Media Dordrecht |
Divisions: | Philosophy, Logic and Scientific Method |
Subjects: | B Philosophy. Psychology. Religion > BC Logic |
Date Deposited: | 20 Aug 2013 14:34 |
Last Modified: | 16 May 2024 05:37 |
URI: | http://eprints.lse.ac.uk/id/eprint/50712 |
Actions (login required)
![]() |
View Item |