About some symmetries of negation

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
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,749
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

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.
Added to PP index
2009-01-28

Total downloads
19 ( #267,556 of 2,197,364 )

Recent downloads (6 months)
1 ( #299,438 of 2,197,364 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature