skip to content
Normalization, cut-elimination, and the theory of proofs Preview this item
ClosePreview this item
Checking...

Normalization, cut-elimination, and the theory of proofs

Author: A M Ungar
Publisher: Stanford, CA : CSLI, ©1992.
Series: CSLI lecture notes, no. 28.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: A M Ungar
ISBN: 0937073830 9780937073834 0937073822 9780937073827
OCLC Number: 25748321
Description: v, 236 pages : illustrations ; 24 cm.
Contents: 1. Background --
2. Comparing NJ with LJ --
3. Natural Deduction Revisited --
4. The Problem of Substitution --
5. A Multiple-Conclusion Calculus --
6. Reduction Procedures --
7. Correspondence Results --
8. Interpretations of Derivations --
App. A: A Strong Cut-Elimination Theorem for LJ --
App. B: A Formulation of the Classical Sequent Calculus --
App. C: Proofs and Categories.
Series Title: CSLI lecture notes, no. 28.
Responsibility: A.M. Ungar.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/25748321> # Normalization, cut-elimination, and the theory of proofs
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "25748321" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/25074729#Place/stanford_ca> ; # Stanford, CA
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/25074729#Topic/bewijstheorie> ; # Bewijstheorie
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://dewey.info/class/511.3/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/25074729#Topic/proof_theory> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/25074729#Topic/beweistheorie> ; # Beweistheorie
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1992" ;
   schema:creator <http://viaf.org/viaf/73946449> ; # Anthony M. Ungar
   schema:datePublished "1992" ;
   schema:description "1. Background -- 2. Comparing NJ with LJ -- 3. Natural Deduction Revisited -- 4. The Problem of Substitution -- 5. A Multiple-Conclusion Calculus -- 6. Reduction Procedures -- 7. Correspondence Results -- 8. Interpretations of Derivations -- App. A: A Strong Cut-Elimination Theorem for LJ -- App. B: A Formulation of the Classical Sequent Calculus -- App. C: Proofs and Categories."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/25074729> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/25074729#Series/csli_lecture_notes> ; # CSLI lecture notes ;
   schema:name "Normalization, cut-elimination, and the theory of proofs"@en ;
   schema:productID "25748321" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/25748321#PublicationEvent/stanford_ca_csli_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/25074729#Agent/csli> ; # CSLI
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004224277&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://www.gbv.de/dms/bowker/toc/9780937073827.pdf> ;
   schema:url <http://catdir.loc.gov/catdir/toc/cam023/92013877.html> ;
   schema:workExample <http://worldcat.org/isbn/9780937073827> ;
   schema:workExample <http://worldcat.org/isbn/9780937073834> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/25748321> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/25074729#Series/csli_lecture_notes> # CSLI lecture notes ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/25748321> ; # Normalization, cut-elimination, and the theory of proofs
   schema:name "CSLI lecture notes ;" ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory"@en ;
    .

<http://viaf.org/viaf/73946449> # Anthony M. Ungar
    a schema:Person ;
   schema:birthDate "1945" ;
   schema:familyName "Ungar" ;
   schema:givenName "Anthony M." ;
   schema:givenName "A. M." ;
   schema:name "Anthony M. Ungar" ;
    .

<http://worldcat.org/isbn/9780937073827>
    a schema:ProductModel ;
   schema:isbn "0937073822" ;
   schema:isbn "9780937073827" ;
    .

<http://worldcat.org/isbn/9780937073834>
    a schema:ProductModel ;
   schema:isbn "0937073830" ;
   schema:isbn "9780937073834" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.