Decidability of linear affine logic

DOI10.1006/INCO.1999.2834MaRDI QIDQ1854403zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1999.2834

zbMATH Keywords

normal formsdecidabilityfull propositional linear affine logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1114339
• The finite model property for various fragments of linear logic
• Phase semantics and decidability of elementary affine logic
• scientific article; zbMATH DE number 1420859
• The decidability of the intensional fragment of classical linear logic

Cites work

• scientific article; zbMATH DE number 1479638 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• Linear logic

Cited in

(16)

• scientific article; zbMATH DE number 786489 (Why is no real title available?)
• Detecting Loops During Proof Search in Propositional Affine Logic
• scientific article; zbMATH DE number 1420859 (Why is no real title available?)
• Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
• Decision problems for propositional linear logic
• Judgement aggregation in non-classical logics
• Phase semantics and decidability of elementary affine logic
• Affine sessions
• scientific article; zbMATH DE number 7455712 (Why is no real title available?)
• Linear and affine logics with temporal, spatial and epistemic operators
• The decidability of the intensional fragment of classical linear logic
• Interpretations of weak positive modal logics
• Exponentially handsome proof nets and their normalization
• Decidability of affine solution problems
• THE LOGIC OF RESOURCES AND CAPABILITIES
• Non-associative, non-commutative multi-modal linear logic

This page was built for publication: Decidability of linear affine logic

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