- 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
On Zardini’s Rules for Multiplicative Quantification as the Source of Contra(di)Ctions
Review of Symbolic Logic 16 (4):1110-1119 (2023)
Abstract
Certain instances of contraction are provable in Zardini’s system $\mathbf {IK}^\omega $ which causes triviality once a truth predicate and suitable fixed points are available.Other Versions
No versions found
My notes
Similar books and articles
Infinitary Contraction‐Free Revenge.Andreas Fjellstad - 2018 - Thought: A Journal of Philosophy 7 (3):179-189.
Contraction-elimination for implicational logics.Ryo Kashima - 1997 - Annals of Pure and Applied Logic 84 (1):17-39.
Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
Contractions of noncontractive consequence relations.Rohan French & David Ripley - 2015 - Review of Symbolic Logic 8 (3):506-528.
A Note on the Cut-Elimination Proof in “Truth Without Contra(di)Ction”.Andreas Fjellstad - 2020 - Review of Symbolic Logic 13 (4):882-886.
Enhancing induction in a contraction free logic with unrestricted abstraction: from $$\mathbf {Z}$$ to $$\mathbf {Z}_2$$.Uwe Petersen - 2022 - Archive for Mathematical Logic 61 (7):1007-1051.
A note on an alternative Gentzenization of RW+∘.Mirjana Ilić - 2021 - Mathematical Logic Quarterly 67 (2):186-192.
Enhancing induction in a contraction free logic with unrestricted abstraction: from $$\mathbf {Z}$$ Z to $$\mathbf {Z}_2$$ Z 2.Uwe Petersen - forthcoming - Archive for Mathematical Logic:1-45.
Analytics
Added to PP
2022-07-21
Downloads
22 (#968,280)
6 months
7 (#698,214)
2022-07-21
Downloads
22 (#968,280)
6 months
7 (#698,214)
Historical graph of downloads
Citations of this work
Systems for Non-Reflexive Consequence.Carlo Nicolai & Lorenzo Rossi - 2023 - Studia Logica 111 (6):947-977.
Non-Contractive Logics, Paradoxes, and Multiplicative Quantifiers.Carlo Nicolai, Mario Piazza & Matteo Tesi - 2024 - Review of Symbolic Logic 17 (4):996-1017.
References found in this work
Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.
Logic without contraction as based on inclusion and unrestricted abstraction.Uwe Petersen - 2000 - Studia Logica 64 (3):365-403.
Logical paradoxes for many-valued systems.Moh Shaw-Kwei - 1954 - Journal of Symbolic Logic 19 (1):37-40.
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-667477cd97-9l5tj dc2