Relevance logic as a conservative extension of classical logic

In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems. Series: Outstanding Contributions to Logic. Springer (2014)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 94,549

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

28 (#568,659)

6 months
5 (#880,810)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references