A logical framework with commutative and non-commutative subexponentials

DOI10.1007/978-3-319-94205-6_16MaRDI QIDQ1799082zbMATH OpenOpenAlexFDO

Authors Stepan Kuznetsov, Vivek Nigam, Max Kanovich, Andre Scedrov

Publication date 18 October 2018

Full work available at URL https://doi.org/10.1007/978-3-319-94205-6_16

Mathematics Subject Classification ID

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

Recommendations

• A plug with infinite order and some exotic 4-manifolds
• Nonexistence of twists and surgeries generating exotic 4-manifolds
• Corks, Plugs and exotic structures
• Knotting corks
• Notes on Gompf's infinite order corks

Cited in

(10)

• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• Infinitary action logic with exponentiation
• Soft subexponentials and multiplexing
• Non-associative, non-commutative multi-modal linear logic
• Kleene star, subexponentials without contraction, and infinite computations
• A plug with infinite order and some exotic 4-manifolds
• scientific article; zbMATH DE number 1418443 (Why is no real title available?)
• Subexponentials in non-commutative linear logic
• Explorations in Subexponential Non-associative Non-commutative Linear Logic
• Adjoint natural deduction

Describes a project that uses

Uses Software

• CatLog

This page was built for publication: A logical framework with commutative and non-commutative subexponentials

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