Normalization theorems for substructural logics in Gentzen-style natural deduction, abstract of the talk at 2000 Annual Meeting of the Association for Symbolic Logic, University of Illinois at Urbana-Champaign, June 3‐7, 2000 [Book Review]

, &
Bulletin of Symbolic Logic 6 (3):390-391 (2000)
  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,322

External links

  • This entry has no external links. Add one.
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

University of Illinois at Urbana-Champaign, June 3–7, 2000.A. Pillay, D. Hallett, G. Hjorth, C. Jockusch, A. Kanamori, H. J. Keisler & V. McGee - 2000 - Bulletin of Symbolic Logic 6 (3).
Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
Natural deduction systems for some non-commutative logics.Norihiro Kamide & Motohiko Mouri - 2007 - Logic and Logical Philosophy 16 (2-3):105-146.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.
On proof terms and embeddings of classical substructural logics.Ken-Etsu Fujita - 1998 - Studia Logica 61 (2):199-221.
Deduction theorems for weak implicational logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
2000 Annual Meeting of the Association for Symbolic Logic.A. Pillay, D. Hallett, G. Hjorth, C. Jockusch, A. Kanamori, H. J. Keisler & V. McGee - 2000 - Bulletin of Symbolic Logic 6 (3):361-396.
2000 european summer meeting of the association for symbolic logic logic colloquium 2000.Mosconi M.-H. Mourgues C. Muhlrad, L. Pacholski Grief & J. -P. Ressayre B. Velickovic - 2001 - Bulletin of Symbolic Logic 7 (4):82.
Gentzen's proof of normalization for natural deduction.Jan von Plato - 2008 - Bulletin of Symbolic Logic 14 (2):240-257.
Gentzen's proof of normalization for natural deduction.Jan Platvono - 2008 - Bulletin of Symbolic Logic 14 (2):240-257.

Analytics

Added to PP
2014-01-19

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references