Corrigendum to Galmiche's and Perrier's “On proof normalization in linear logic”
This note reveals a mistake in a proof of cut elimination in linear logic which uses the framework of the sequent calculus. This proof was published in volume 135 of TCS (1994).
Gespeichert in:
| Veröffentlicht in: | Theoretical computer science 1998-10, Vol.206 (1-2), p.353-354 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 354 |
|---|---|
| container_issue | 1-2 |
| container_start_page | 353 |
| container_title | Theoretical computer science |
| container_volume | 206 |
| creator | Perrier, Guy |
| description | This note reveals a mistake in a proof of cut elimination in linear logic which uses the framework of the sequent calculus. This proof was published in volume 135 of TCS (1994). |
| doi_str_mv | 10.1016/S0304-3975(98)00145-5 |
| format | Article |
| fullrecord | <record><control><sourceid>hal_cross</sourceid><recordid>TN_cdi_hal_primary_oai_HAL_inria_00098573v1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>oai_HAL_inria_00098573v1</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1295-dc094b7d5c0b543e8fba412f63bf0c7821f02a01940fa7fba26c97fda839f3443</originalsourceid><addsrcrecordid>eNo9kM9KAzEQh4MoWKuPIOSmIqv5u9kcS9FWKFSwnkM2m7SR3aRkq1BPfRB9uT6J21Y6l2H4fTMwHwDXGD1ghPPHN0QRy6gU_FYWdwhhxjN-Anq4EDIjRLJT0Dsi5-CibT9QV1zkPTAbxpT83Ibqs4GrCEe6brxZ2JsW6lDBV9ulNnXTdvMzDXCZYnQwxNTo2n_rlY8B-gBrH6xOsI5zb7ab30tw5nTd2qv_3gfvz0-z4TibTEcvw8EkM5hInlUGSVaKihtUckZt4UrNMHE5LR0yoiDYIaIRlgw5LbqQ5EYKV-mCSkcZo31wf7i70LVaJt_otFZRezUeTJQPyWvV_SkLLugX7mh-oE2KbZusO65gpHYi1V6k2llSslB7kYrTP-IGZ-k</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Corrigendum to Galmiche's and Perrier's “On proof normalization in linear logic”</title><source>Elsevier ScienceDirect Journals</source><source>Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals</source><creator>Perrier, Guy</creator><creatorcontrib>Perrier, Guy</creatorcontrib><description>This note reveals a mistake in a proof of cut elimination in linear logic which uses the framework of the sequent calculus. This proof was published in volume 135 of TCS (1994).</description><identifier>ISSN: 0304-3975</identifier><identifier>EISSN: 1879-2294</identifier><identifier>DOI: 10.1016/S0304-3975(98)00145-5</identifier><language>eng</language><publisher>Elsevier</publisher><subject>Computer Science ; Other</subject><ispartof>Theoretical computer science, 1998-10, Vol.206 (1-2), p.353-354</ispartof><rights>Distributed under a Creative Commons Attribution 4.0 International License</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c1295-dc094b7d5c0b543e8fba412f63bf0c7821f02a01940fa7fba26c97fda839f3443</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,314,776,780,881,27901,27902</link.rule.ids><backlink>$$Uhttps://inria.hal.science/inria-00098573$$DView record in HAL$$Hfree_for_read</backlink></links><search><creatorcontrib>Perrier, Guy</creatorcontrib><title>Corrigendum to Galmiche's and Perrier's “On proof normalization in linear logic”</title><title>Theoretical computer science</title><description>This note reveals a mistake in a proof of cut elimination in linear logic which uses the framework of the sequent calculus. This proof was published in volume 135 of TCS (1994).</description><subject>Computer Science</subject><subject>Other</subject><issn>0304-3975</issn><issn>1879-2294</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1998</creationdate><recordtype>article</recordtype><recordid>eNo9kM9KAzEQh4MoWKuPIOSmIqv5u9kcS9FWKFSwnkM2m7SR3aRkq1BPfRB9uT6J21Y6l2H4fTMwHwDXGD1ghPPHN0QRy6gU_FYWdwhhxjN-Anq4EDIjRLJT0Dsi5-CibT9QV1zkPTAbxpT83Ibqs4GrCEe6brxZ2JsW6lDBV9ulNnXTdvMzDXCZYnQwxNTo2n_rlY8B-gBrH6xOsI5zb7ab30tw5nTd2qv_3gfvz0-z4TibTEcvw8EkM5hInlUGSVaKihtUckZt4UrNMHE5LR0yoiDYIaIRlgw5LbqQ5EYKV-mCSkcZo31wf7i70LVaJt_otFZRezUeTJQPyWvV_SkLLugX7mh-oE2KbZusO65gpHYi1V6k2llSslB7kYrTP-IGZ-k</recordid><startdate>199810</startdate><enddate>199810</enddate><creator>Perrier, Guy</creator><general>Elsevier</general><scope>AAYXX</scope><scope>CITATION</scope><scope>1XC</scope></search><sort><creationdate>199810</creationdate><title>Corrigendum to Galmiche's and Perrier's “On proof normalization in linear logic”</title><author>Perrier, Guy</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1295-dc094b7d5c0b543e8fba412f63bf0c7821f02a01940fa7fba26c97fda839f3443</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1998</creationdate><topic>Computer Science</topic><topic>Other</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Perrier, Guy</creatorcontrib><collection>CrossRef</collection><collection>Hyper Article en Ligne (HAL)</collection><jtitle>Theoretical computer science</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Perrier, Guy</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Corrigendum to Galmiche's and Perrier's “On proof normalization in linear logic”</atitle><jtitle>Theoretical computer science</jtitle><date>1998-10</date><risdate>1998</risdate><volume>206</volume><issue>1-2</issue><spage>353</spage><epage>354</epage><pages>353-354</pages><issn>0304-3975</issn><eissn>1879-2294</eissn><abstract>This note reveals a mistake in a proof of cut elimination in linear logic which uses the framework of the sequent calculus. This proof was published in volume 135 of TCS (1994).</abstract><pub>Elsevier</pub><doi>10.1016/S0304-3975(98)00145-5</doi><tpages>2</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0304-3975 |
| ispartof | Theoretical computer science, 1998-10, Vol.206 (1-2), p.353-354 |
| issn | 0304-3975 1879-2294 |
| language | eng |
| recordid | cdi_hal_primary_oai_HAL_inria_00098573v1 |
| source | Elsevier ScienceDirect Journals; Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals |
| subjects | Computer Science Other |
| title | Corrigendum to Galmiche's and Perrier's “On proof normalization in linear logic” |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-05T10%3A12%3A12IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-hal_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Corrigendum%20to%20Galmiche's%20and%20Perrier's%20%E2%80%9COn%20proof%20normalization%20in%20linear%20logic%E2%80%9D&rft.jtitle=Theoretical%20computer%20science&rft.au=Perrier,%20Guy&rft.date=1998-10&rft.volume=206&rft.issue=1-2&rft.spage=353&rft.epage=354&rft.pages=353-354&rft.issn=0304-3975&rft.eissn=1879-2294&rft_id=info:doi/10.1016/S0304-3975(98)00145-5&rft_dat=%3Chal_cross%3Eoai_HAL_inria_00098573v1%3C/hal_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |