Connexive Gentzen

Logic Journal of the IGPL 22 (6):964-981 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzu019

Links

PhilArchive



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

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

Strong Connexivity.Andreas Kapsner - 2012 - Thought: A Journal of Philosophy 1 (2):141-145.
Connexive implication and the syllogism.Storrs McCall - 1967 - Mind 76 (303):346-356.
Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.
Connexive class logic.Storrs McCall - 1967 - Journal of Symbolic Logic 32 (1):83-90.
Dialogical connexive logic.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):105-139.
Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.
A Note on the Godel-Gentzen Translation.Hajime Ishihara - 2000 - Mathematical Logic Quarterly 46 (1):135-138.
On purported Gentzen formulations of two positive relevent logics.Steve Giambrone - 1985 - Studia Logica 44 (3):233 - 236.
Categorical abstract algebraic logic: Gentzen π ‐institutions and the deduction‐detachment property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.
Realism and Nominalism in Formal Logic.Bruce Erwin Ruy Thompson - 1988 - Dissertation, University of Colorado at Boulder
The Collected Papers of Gerhard Gentzen. [REVIEW]G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
Review: Gerhard Gentzen, The Collected Papers of Gerhard Gentzen. [REVIEW]K. Schutte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics.Angel Gil & Jordi Rebagliato - 2006 - Reports on Mathematical Logic.
Gödel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation.W. W. Tait - 2005 - Bulletin of Symbolic Logic 11 (2):225-238.

Analytics

Added to PP
2016-06-30

Downloads
28 (#538,947)

6 months
10 (#219,185)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references