Journal of Symbolic Logic 59 (2):473-485 (1994)

Abstract
This paper deals with some structural properties of the sequent calculus and describes strong symmetries between cut-free derivations and derivations, which do not make use of identity axioms. Both of them are discussed from a semantic and syntactic point of view. Identity axioms and cuts are closely related to the treatment of negation in the sequent calculus, so the results of this article explain some nice symmetries of negation.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275401
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: 59,968
Through your library

References found in this work BETA

Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.

Add more references

Citations of this work BETA

Sentence Connectives in Formal Logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
Metainferential Duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - 2020 - Journal of Applied Non-Classical Logics 30 (4):312-334.

View all 6 citations / Add more citations

Similar books and articles

Normal Derivations and Sequent Derivations.Mirjana Borisavljevi - 2008 - Journal of Philosophical Logic 37 (6):521 - 548.
The Empirical Status of Symmetries in Physics.P. Kosso - 2000 - British Journal for the Philosophy of Science 51 (1):81-98.
Subformula Semantics for Strong Negation Systems.Seiki Akama - 1990 - Journal of Philosophical Logic 19 (2):217 - 226.
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.
A Puzzle About Laws, Symmetries and Measurability.John T. Roberts - 2008 - British Journal for the Philosophy of Science 59 (2):143-168.
Empirical Assessment of Colour Symmetries.Lewis D. Griffin - 1999 - Behavioral and Brain Sciences 22 (6):952-953.

Analytics

Added to PP index
2009-01-28

Total views
34 ( #310,166 of 2,433,309 )

Recent downloads (6 months)
1 ( #462,722 of 2,433,309 )

How can I increase my downloads?

Downloads

My notes