Additives of linear logic and normalization—Part I: a (restricted) Church–Rosser property

We define a generalized cut-elimination procedure for proof-nets of full linear logic (without constants), for which we prove a (restricted) Church–Rosser property.

Saved in:
Bibliographic Details
Published in:Theoretical computer science 2003-02, Vol.294 (3), p.489-524
Main Author: Tortora de Falco, Lorenzo
Format: Article
Language:English
Subjects:
Additive connectives
Confluence
Cut-elimination
Exact sciences and technology
General logic
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Proof-nets with jumps
Sciences and techniques of general use
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We define a generalized cut-elimination procedure for proof-nets of full linear logic (without constants), for which we prove a (restricted) Church–Rosser property.
ISSN:0304-3975
1879-2294
DOI:10.1016/S0304-3975(01)00176-1