Explorations in Subexponential Non-associative Non-commutative Linear Logic

DOI10.4204/EPTCS.381.3MaRDI QIDQ6196498zbMATH OpenOpenAlexFDO

Authors Eben Blaisdell, Max Kanovich, Stepan Kuznetsov, Elaine Pimentel, Andre Scedrov

Publication date 14 March 2024

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

Full work available at URL https://arxiv.org/abs/2308.05537

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Logic in computer science (03B70)

Recommendations

• Subexponentials in non-commutative linear logic
• Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
• Noncommutative linear logic and its quantale semantics
• Non‐commutative intuitionistic linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic

Cites work

• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• A framework for proof systems
• A logical framework with commutative and non-commutative subexponentials
• A uniform framework for substructural logics with modalities
• Annotation-free sequent calculi for full intuitionistic linear logic
• Around classical and intuitionistic linear logics
• Classical and intuitionistic subexponential logics are equally expressive
• Classical non-associative Lambek calculus
• Display logic
• Focused proof-search in the logic of bunched implications
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 1222927 (Why is no real title available?)
• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• scientific article; zbMATH DE number 7204441 (Why is no real title available?)
• scientific article; zbMATH DE number 3251420 (Why is no real title available?)
• scientific article; zbMATH DE number 3024527 (Why is no real title available?)
• Linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Multimodal linguistic inference
• Non-associative, non-commutative multi-modal linear logic
• On classical nonassociative Lambek calculus
• On various negative translations
• Parsing/theorem-proving for logical grammar \textit{CatLog3}
• Quantales and (noncommutative) linear logic
• Some Syntactical Observations on Linear Logic
• Subexponentials in non-commutative linear logic
• The Mathematics of Sentence Structure
• Undecidability of consequence relation in full non-associative Lambek calculus

Cited in

(2)

• Kleene star, subexponentials without contraction, and infinite computations
• Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic

This page was built for publication: Explorations in Subexponential Non-associative Non-commutative Linear Logic

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