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)|
|Through your library||Configure|
Similar books and articles
Mirjana 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).
Added to index2009-01-28
Total downloads2 ( #232,501 of 549,071 )
Recent downloads (6 months)0
How can I increase my downloads?