Intelim rules for classical connectives

In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems. Dordrecht, Netherland: Springer. pp. 359-382 (2013)
  Copy   BIBTEX


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.



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

External links

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

Through your library

Similar books and articles

A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.
Towards structurally-free theorem proving.M. Finger - 1998 - Logic Journal of the IGPL 6 (3):425-449.


Added to PP

23 (#686,622)

6 months
8 (#530,632)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

Against Harmony.Ian Rumfitt - 1995 - In B. Hale & Crispin Wright (eds.), Blackwell Companion to the Philosophy of Language. Blackwell.

Add more citations

References found in this work

No references found.

Add more references