- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Admissibility of structural rules for extensions of contraction-free sequent calculi.R. Dyckhoff & S. Negri - 2001 - Logic Journal of the IGPL 9 (4):541-548.
Translations from natural deduction to sequent calculus.Jan von Plato - 2003 - Mathematical Logic Quarterly 49 (5):435.
A purely syntactic and cut-free sequent calculus for the modal logic of provability.Francesca Poggiolesi - 2009 - Review of Symbolic Logic 2 (4):593-611.
A normalizing system of natural deduction for intuitionistic linear logic.Sara Negri - 2002 - Archive for Mathematical Logic 41 (8):789-810.
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi.Norihiro Kamide - 2022 - Logica Universalis 16 (3):389-417.
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\).Sara Ayhan & Heinrich Wansing - 2023 - Bulletin of the Section of Logic 52 (2):187-237.
Negation-Free and Contradiction-Free Proof of the Steiner–Lehmus Theorem.Victor Pambuccian - 2018 - Notre Dame Journal of Formal Logic 59 (1):75-90.
A cut-free simple sequent calculus for modal logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
Analytics
Added to PP
2009-01-28
Downloads
51 (#304,401)
6 months
24 (#147,988)
2009-01-28
Downloads
51 (#304,401)
6 months
24 (#147,988)
Historical graph of downloads
Citations of this work
Metainferential duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - 2020 - Journal of Applied Non-Classical Logics 30 (4):312-334.
Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - 2021 - Journal of Philosophical Logic 51 (6):1521-1547.
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.
Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.
References found in this work
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-5pqs9 uwo