Gentzen's Logic

In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 667-721 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

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.
Gentzen-type formulation of the prepositional logic LQ.Tsutomu Hosoi - 1988 - Studia Logica 47 (1):41 - 48.
On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth.Angel J. Gil - 2013 - Studia Logica 101 (4):749-781.
Categorical abstract algebraic logic: Gentzen π ‐institutions and the deduction‐detachment property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
Review: Gerhard Gentzen, The Collected Papers of Gerhard Gentzen. [REVIEW]K. Schutte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
Temporal Gödel-Gentzen and Girard translations.Norihiro Kamide - 2013 - Mathematical Logic Quarterly 59 (1-2):66-83.
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.
DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations.Anita Wasilewska - 1984 - Studia Logica 43 (4):395 - 404.
On the infinite-valued Łukasiewicz logic that preserves degrees of truth.Josep Maria Font, Àngel J. Gil, Antoni Torrens & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (7):839-868.
A cut-free Gentzen formulation of basic propositional calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.
Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems.Osamu Morikawa - 2001 - Notre Dame Journal of Formal Logic 42 (1):55-64.

Analytics

Added to PP
2014-02-01

Downloads
33 (#483,256)

6 months
8 (#356,676)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Von Plato
University of Helsinki

Citations of this work

Add more citations

References found in this work

No references found.

Add more references