An alternative Gentzenisation of RW+∘

Mathematical Logic Quarterly 62 (6):465-480 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201400084

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Alternative Science.Shiv Visvanathan - 2006 - Theory, Culture and Society 23 (2-3):164-169.
Blameworthiness and Frankfurt's argument against the principle of alternative possibilities.David Widerker - 2003 - In David Widerker & Michael McKenna (eds.), Moral Responsibility and Alternative Possibilities: Essays on the Importance of Alternative Possibilities. Ashgate. pp. 53--73.
The no-self alternative.Thomas Metzinger - 2010 - In Shaun Gallagher (ed.), The Oxford Handbook of the Self. Oxford University Press.
Alternative Splicing, the Gene Concept, and Evolution.Stephen Downes - 2004 - History and Philosophy of the Life Sciences 26 (1):91 - 104.
Social Representations, Alternative Representations and Semantic Barriers.Alex Gillespie - 2008 - Journal for the Theory of Social Behaviour 38 (4):375-391.
An Alternative to an Alternative to Brain Death.Peter Koch - 2009 - Proceedings of the American Catholic Philosophical Association 83:89-98.
The Power of Historical Causal Components Involved in Engaging At-Risk Youth at Three Alternative Schools.Cheryl Livock - 2011 - Journal of Critical Realism 10 (1):36-59.
Responding to alternative and polar questions.María Biezma & Kyle Rawlins - 2012 - Linguistics and Philosophy 35 (5):361-406.
An Alternative Normalization of the Implicative Fragment of Classical Logic.Branislav Boričić & Mirjana Ilić - 2015 - Studia Logica 103 (2):413-446.
Resistance, redistribution, and power in the Fair Trade banana initiative.Aimee Shreck - 2005 - Agriculture and Human Values 22 (1):17-29.
Trees and diagrams of decomposition.Anita Wasilewska - 1985 - Studia Logica 44 (2):139 - 158.
Stress in workplace-possible prevention.Mirjana Aranđelović & Ivana Ilić - 2006 - Facta Universitatis, Series: Linguistics and Literature 13 (3):139-144.
Ultimacy and alternative possibilities.John Martin Fischer - 2009 - Philosophical Studies 144 (1):15-20.
How alternative is the alternative?Elizabeth Irvine - 2010 - International Journal of Machine Consciousness 2 (1):41-44.
An Alternative to an Alternative to Brain Death.Peter Koch - 2009 - Proceedings of the American Catholic Philosophical Association 83:89-98.

Analytics

Added to PP
2017-03-26

Downloads
9 (#1,228,347)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A note on an alternative Gentzenization of RW+∘.Mirjana Ilić - 2021 - Mathematical Logic Quarterly 67 (2):186-192.

Add more citations

References found in this work

Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.
TW+ and RW+ are decidable.Steve Giambrone - 1985 - Journal of Philosophical Logic 14 (3):235 - 254.
The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35 - 73.
Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
Multisets and Relevant Implication.R. K. Meyer - 1982 - Australasian Journal of Philosophy 60:107.

View all 8 references / Add more references