Archive for Mathematical Logic 41 (1):91-99 (2002)

Authors
Abstract This article has no associated abstract. (fix it)
Keywords classical logic  second order logic  strong normalization  symmetric lambda calculus
Categories (categorize this paper)
DOI 10.1007/s001530200007
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Strong Normalization Result for Classical Logic.Franco Barbanera & Stefano Berardi - 1995 - Annals of Pure and Applied Logic 76 (2):99-116.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Light Affine Lambda Calculus and Polynomial Time Strong Normalization.Kazushige Terui - 2007 - Archive for Mathematical Logic 46 (3-4):253-280.
Strong Normalization of Program-Indexed Lambda Calculus.Norihiro Kamide - 2010 - Bulletin of the Section of Logic 39 (1/2):65-78.
Typed Lambda-Calculus in Classical Zermelo-Frænkel Set Theory.Jean-Louis Krivine - 2001 - Archive for Mathematical Logic 40 (3):189-205.
Non Deterministic Classical Logic: The $Lambdamu^{++}$-Calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.
On the Role of Implication in Formal Logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
Natural Deduction Systems for Nelson's Paraconsistent Logic and its Neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.
Atomic Polymorphism.Fernando Ferreira & Gilda Ferreira - 2013 - Journal of Symbolic Logic 78 (1):260-274.
$Lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Remarks on the Church-Rosser Property.E. G. K. López-Escobar - 1990 - Journal of Symbolic Logic 55 (1):106-112.
The Abstract Variable-Binding Calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.

Analytics

Added to PP index
2013-12-01

Total views
119 ( #92,996 of 2,462,461 )

Recent downloads (6 months)
11 ( #65,051 of 2,462,461 )

How can I increase my downloads?

Downloads

My notes