Graduate studies at Western
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)|
|Through your library||Configure|
Similar books and articles
Mirjana Borisavljevi (2008). Normal Derivations and Sequent Derivations. Journal of Philosophical Logic 37 (6):521 - 548.
P. Kosso (2000). The Empirical Status of Symmetries in Physics. British Journal for the Philosophy of Science 51 (1):81-98.
Seiki Akama (1990). Subformula Semantics for Strong Negation Systems. Journal of Philosophical Logic 19 (2):217 - 226.
Norihiro Kamide (2006). Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. Journal of Logic, Language and Information 15 (4):371-401.
Peter Kosso (2000). The Epistemology of Spontaneously Broken Symmetries. Synthese 122 (3):359 - 376.
John T. Roberts (2008). A Puzzle About Laws, Symmetries and Measurability. British Journal for the Philosophy of Science 59 (2):143-168.
Michael Beeson, Robert Veroff & Larry Wos (2005). Double-Negation Elimination in Some Propositional Logics. Studia Logica 80 (2-3):195 - 234.
Lewis D. Griffin (1999). Empirical Assessment of Colour Symmetries. Behavioral and Brain Sciences 22 (6):952-953.
Brigitte Hosli & Gerhard Jager (1994). About Some Symmetries of Negation. Journal of Symbolic Logic 59 (2):473 - 485.
Added to index2009-01-28
Total downloads2 ( #246,970 of 740,453 )
Recent downloads (6 months)0
How can I increase my downloads?