A logical framework with commutative and non-commutative subexponentials

DOI10.1007/978-3-319-94205-6_16OpenAlexW2810130918MaRDI QIDQ1799082FDOQ1799082

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

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

Mathematics Subject Classification ID

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

Cited In (9)

• Subexponentials in non-commutative linear logic
• Soft subexponentials and multiplexing
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• Explorations in Subexponential Non-associative Non-commutative Linear Logic
• A plug with infinite order and some exotic 4-manifolds
• Infinitary action logic with exponentiation
• Non-associative, non-commutative multi-modal linear logic
• Kleene star, subexponentials without contraction, and infinite computations
• Title not available (Why is that?)

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)