Library Header Image
LSE Research Online LSE Library Services

Intelim rules for classical connectives

Makinson, David C. (2014) Intelim rules for classical connectives. In: Hansson, Sven Ove, (ed.) David Makinson on Classical Methods for Non-Classical Problems. Outstanding Contributions to Logic (3). Springer Berlin / Heidelberg, Dordrecht, Netherlands, pp. 359-382. ISBN 9789400777583

Full text not available from this repository.

Identification Number: 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: Book Section
Official URL:
Additional Information: © 2006 Springer Science+Business Media Dordrecht
Divisions: Philosophy, Logic and Scientific Method
Subjects: B Philosophy. Psychology. Religion > B Philosophy (General)
B Philosophy. Psychology. Religion > BC Logic
Date Deposited: 22 May 2014 13:24
Last Modified: 16 May 2024 05:38

Actions (login required)

View Item View Item