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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMirjana Borisavljevi (2008). Normal Derivations and Sequent Derivations. Journal of Philosophical Logic 37 (6).
Lewis D. Griffin (1999). Empirical Assessment of Colour Symmetries. Behavioral and Brain Sciences 22 (6):952-953.
Michael Beeson, Robert Veroff & Larry Wos (2005). Double-Negation Elimination in Some Propositional Logics. Studia Logica 80 (2-3):195 - 234.
John T. Roberts (2008). A Puzzle About Laws, Symmetries and Measurability. British Journal for the Philosophy of Science 59 (2):143-168.
Peter Kosso (2000). The Epistemology of Spontaneously Broken Symmetries. Synthese 122 (3):359 - 376.
Norihiro Kamide (2006). Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. Journal of Logic, Language and Information 15 (4).
Seiki Akama (1990). Subformula Semantics for Strong Negation Systems. Journal of Philosophical Logic 19 (2):217 - 226.
P. Kosso (2000). The Empirical Status of Symmetries in Physics. British Journal for the Philosophy of Science 51 (1):81-98.
Brigitte Hosli & Gerhard Jager (1994). About Some Symmetries of Negation. Journal of Symbolic Logic 59 (2).
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,501 of 549,071 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
