Annals of Pure and Applied Logic 59 (3):201-217 (1993)

Abstract
We present a single sequent calculus common to classical, intuitionistic and linear logics. The main novelty is that classical, intuitionistic and linear logics appear as fragments, i.e. as particular classes of formulas and sequents. For instance, a proof of an intuitionistic formula A may use classical or linear lemmas without any restriction: but after cut-elimination the proof of A is wholly intuitionistic, what is superficially achieved by the subformula property and more deeply by a very careful treatment of structural rules. This approach is radically different from the one that consists in “changing the rule of the game” when we want to change logic, e.g. pass from one style of sequent to another: here, there is only one logic, which—depending on its use—may appear classical, intuitionistic or linear.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(93)90093-s
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,548
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

The Logic of Bunched Implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
Multimodal Linguistic Inference.Michael Moortgat - 1996 - Journal of Logic, Language and Information 5 (3-4):349-385.
A Focused Approach to Combining Logics.Chuck Liang & Dale Miller - 2011 - Annals of Pure and Applied Logic 162 (9):679-697.

View all 20 citations / Add more citations

Similar books and articles

Quantum Logic and the Unity of Science.John Woods & Kent A. Peacock - 2004 - In S. Rahman J. Symons (ed.), Logic, Epistemology, and the Unity of Science. Kluwer Academic Publisher. pp. 257--287.
Hegel and Anselm on Divine Mystery.Andrew Cummings - 2006 - American Catholic Philosophical Quarterly 80 (4):521-541.
Unity, Theism and Self in Plotinus.Donald N. Blakeley - 1992 - Philosophy and Theology 7 (1):53-80.
Logic, Epistemology, and the Unity of Science.S. Rahman (ed.) - 2004 - Dordrecht: Kluwer Academic Publishers.
Concepts, Theories, And The Mind-Body Problem.Herbert Feigl (ed.) - 1958 - University of Minnesota Press.
Constituting the Mind: Kant, Davidson, and the Unity of Consciousness.Jeff Malpas - 1999 - International Journal of Philosophical Studies 7 (1):1-30.
The Appearance of Unity: A Higher-Order Interpretation of the Unity of Consciousness.Josh Weisberg - 2001 - Proceedings of the Twenty-Third Annual Conference of The Cognitive Science Society.
The Unity of Science.Martin Carrier - 1990 - International Studies in the Philosophy of Science 4 (1):17-31.

Analytics

Added to PP index
2014-01-16

Total views
22 ( #452,049 of 2,348,328 )

Recent downloads (6 months)
2 ( #329,111 of 2,348,328 )

How can I increase my downloads?

Downloads

My notes