Thought: A Journal of Philosophy 7 (3):179-189 (2018)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | contraction‐free logics cut‐elimination infinitary rules revenge paradoxes semantic paradoxes |
| Categories | (categorize this paper) |
| DOI | 10.1002/tht3.382 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.
View all 22 references / Add more references
Citations of this work BETA
A Note on the Cut-Elimination Proof in “Truth Without Contraction”.Andreas Fjellstad - 2020 - Review of Symbolic Logic 13 (4):882-886.
Similar books and articles
Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.
A Contraction-Free and Cut-Free Sequent Calculus for Propositional Dynamic Logic.Brian Hill & Francesca Poggiolesi - 2010 - Studia Logica 94 (1):47-72.
Three Approaches to Iterated Belief Contraction.Raghav Ramachandran, Abhaya C. Nayak & Mehmet A. Orgun - 2012 - Journal of Philosophical Logic 41 (1):115-142.
Repertoire Contraction.Sven Ove Hansson - 2013 - Journal of Logic, Language and Information 22 (1):1-21.
Errata to Cambridge Computer Laboratory Technical Report Number 257: Cut-Free Sequent and Tableau Systems for Propositional Normal Modal Logics By.Rajeev Gore - unknown
A Metacompleteness Theorem for Contraction-Free Relevant Logics.John K. Slaney - 1984 - Studia Logica 43 (1-2):159 - 168.
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.
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.Roy Dyckhoff & Sara Negri - 2000 - Journal of Symbolic Logic 65 (4):1499-1518.
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.Roy Dyckhoff & Sara Negri - 2000 - Journal of Symbolic Logic 65 (4):1499-1518.
Note on Deduction Theorems in Contraction‐Free Logics.Karel Chvalovský & Petr Cintula - 2012 - Mathematical Logic Quarterly 58 (3):236-243.
A Survey of Multiple Contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
Analytics
Added to PP index
2018-06-13
Total views
14 ( #677,191 of 2,404,052 )
Recent downloads (6 months)
1 ( #550,679 of 2,404,052 )
2018-06-13
Total views
14 ( #677,191 of 2,404,052 )
Recent downloads (6 months)
1 ( #550,679 of 2,404,052 )
How can I increase my downloads?
Downloads
