Phase semantics for light linear logic

DOI10.1016/S0304-3975(01)00177-3MaRDI QIDQ1398478zbMATH OpenOpenAlexFDO

Authors Max Kanovich, Mitsuhiro Okada, Andre Scedrov

Publication date 29 July 2003

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(01)00177-3

zbMATH Keywords

cut eliminationlight linear logicfibred phase spaces

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• scientific article; zbMATH DE number 1231574
• Stratified coherence spaces: A denotational semantics for light linear logic
• Linear logic and polynomial time
• scientific article; zbMATH DE number 1361538
• A Semantic Proof of Polytime Soundness of Light Affine Logic

Cites work

• scientific article; zbMATH DE number 1231526 (Why is no real title available?)
• scientific article; zbMATH DE number 1231574 (Why is no real title available?)
• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• scientific article; zbMATH DE number 786493 (Why is no real title available?)
• scientific article; zbMATH DE number 3349775 (Why is no real title available?)
• A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
• Bounded linear logic: A modular approach to polynomial-time computability
• Light linear logic
• Linear logic
• Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
• The finite model property for various fragments of intuitionistic linear logic
• The undecidability of second order linear logic without exponentials
• The undecidability of second order multiplicative linear logic

Cited in

(12)

• Soft subexponentials and multiplexing
• Realizability models for BLL-like languages
• Stratified coherence spaces: A denotational semantics for light linear logic
• scientific article; zbMATH DE number 1361538 (Why is no real title available?)
• Light linear logics with controlled weakening: expressibility, confluent strong normalization
• Linear logic and polynomial time
• Light affine lambda calculus and polynomial time strong normalization
• Light Linear Logic with Controlled Weakening
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• Type inference for light affine logic via constraints on words
• Towards a theory of resource: an approach based on soft exponentials
• Phase semantics and decidability of elementary affine logic

This page was built for publication: Phase semantics for light linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1398478)