Notre Dame Journal of Formal Logic 28 (3):297-321 (1987)

Authors
Glen Helman
Wabash College
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1093637554
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,132
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Equality of Proofs for Linear Equality.Kosta Došen & Zoran Petrić - 2008 - Archive for Mathematical Logic 47 (6):549-565.

Add more citations

Similar books and articles

Identity of Proofs Based on Normalization and Generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.
A Categorical Equivalence of Proofs.Manfred E. Szabo - 1974 - Notre Dame Journal of Formal Logic 15 (2):177-191.
An Interpretation of Classical Proofs.Glen Helman - 1983 - Journal of Philosophical Logic 12 (1):39 - 71.
An Addendum to My Paper: "A Categorical Equivalence of Proofs".Manfred E. Szabo - 1976 - Notre Dame Journal of Formal Logic 17 (1):78-78.
Probabilistic Proofs and Transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Maximal R.E. Equivalence Relations.Jeffrey S. Carroll - 1990 - Journal of Symbolic Logic 55 (3):1048-1058.
Two Spheres, Twenty Spheres, and the Identity of Indiscernibles.Michael Della Rocca - 2005 - Pacific Philosophical Quarterly 86 (4):480–492.
Thin Equivalence Relations and Effective Decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
Equivalence and Identity.C. Lewy - 1946 - Mind 55 (219):223-233.

Analytics

Added to PP index
2010-08-24

Total views
12 ( #788,533 of 2,454,689 )

Recent downloads (6 months)
2 ( #303,745 of 2,454,689 )

How can I increase my downloads?

Downloads

My notes