Intelim rules for classical connectives

In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems. Series: Outstanding Contributions to Logic. Springer. pp. 359-382 (2014)
  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,678

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

Intelim rules for classical connectives.David C. Makinson - 2013 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems. Dordrecht, Netherland: Springer. pp. 359-382.
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

11 (#1,174,451)

6 months
9 (#455,463)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references