scientific article; zbMATH DE number 1342282

zbMath0933.03081MaRDI QIDQ4263872

Olivier Laurent

Publication date: 21 November 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

polarizationsequent calculuslinear logiccorrectness criterionproof-nets

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (13)

Softness of MALL proof-structures and a correctness criterion with Mix ⋮ Call-by-push-value: Decomposing call-by-value and call-by-name ⋮ A categorical semantics for polarized MALL ⋮ Jump from parallel to sequential proofs: exponentials ⋮ Additives of linear logic and normalization. I: A (restricted) Church-Rosser property. ⋮ Proof nets and the call-by-value \(\lambda\)-calculus ⋮ Proof nets for classical logic ⋮ Softness of hypercoherences and MALL full completeness ⋮ Polarized and focalized linear and classical proofs ⋮ Unnamed Item ⋮ Stratified coherence spaces: A denotational semantics for light linear logic ⋮ Polarized proof-nets and \(\lambda \mu\)-calculus ⋮ The additive multiboxes

This page was built for publication: