Strong normalization property for second order linear logic
type: Item
instance of: scholarly article
title: Strong normalization property for second order linear logic
zbMATH Open document ID: 1186.68240
author: Michele Pagani
author: Lorenzo Tortora de Falco
published in: Theoretical Computer Science
publication date: 2009-12-15T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 5647933
zbMATH Keywords: weak normalization
zbMATH Keywords: confluence
zbMATH Keywords: standardization
zbMATH Keywords: linear logic
zbMATH Keywords: proof-nets
zbMATH Keywords: additive connectives
zbMATH Keywords: sliced pure structures
MaRDI profile type: Publication
full work available at URL: j.tcs.2009.07.053
OpenAlex ID: W2113402167
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: A new deconstructive logic: linear logic
cites work: Proof nets and explicit substitutions
cites work: Q3922646
cites work: Linear logic
cites work: Q3773876
cites work: Q4896506
cites work: Q4023825
cites work: Q3997016
cites work: Polarized and focalized linear and classical proofs
cites work: Q4650583
cites work: Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
cites work: Q5559220
cites work: Strong normalization from weak normalization in typed \(\lambda\)-calculi
cites work: Q4799892
cites work: Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
cites work: Intuitionistic differential nets and lambda-calculus
cites work: Confluence of Pure Differential Nets with Promotion
DOI: 10.1016/J.TCS.2009.07.053
Recommended article: Linear Logic and Strong Normalization
Recommended article: A direct proof of strong normalization for full constructive second-order logic
Recommended article: A semantic account of strong normalization in linear logic
Recommended article: Strong normalization of a symmetric lambda calculus for second-order classical logic
Recommended article: A strong normalization result for classical logic
Recommended article: Proofs of strong normalisation for second order classical natural deduction
Recommended article: Q5714454
Recommended article: On proof normalization in linear logic
Recommended article: Strong Logics of First and Second Order
Recommended article: Q4472466
description: scientific article; zbMATH DE number 5647933