BibTeX
CSL-JSON
MLA
Harvard
Identity of Proofs Based on Normalization and Generality
release_n3pdw5dolfarxgtpac4v7yztae
by
K. Dosen
Released
as a article
.
2003
Abstract
In general proof theory there are two approaches to the question of identity
criteria for proofs. The first approach, which stems from Prawitz, Kreisel and
Lambek, and is based on normalization of proofs, gives good results in
intuitionistic, but not in classical logic. The second approach, which stems
from Lambek, Mac Lane and Kelly, and is inspired by the generality of proofs,
seems to be more promissing in classical logic.
In text/plain
format
Archived Content
There are no accessible files associated with this release. You could check other releases for this work for an accessible version.
"Dark" Preservation Only
Save Paper Now!
Know of a fulltext copy of on the public web? Submit a URL and we will archive it
arXiv
math/0208094v9
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links