Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic

DOI10.4204/EPTCS.381.7MaRDI QIDQ6196503zbMATH OpenFDO

Authors Daniel Rogozin

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.04521

zbMATH Keywords

canonical extensionsLambek calculusresiduated latticessubexponentials

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

• Explorations in Subexponential Non-associative Non-commutative Linear Logic
• Kripke semantics for modal substructural logics
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• Relational semantics for full linear logic
• Subexponentials in non-commutative linear logic

Cites work

• A Sahlqvist theorem for distributive modal logic
• A Sahlqvist theorem for relevant modal logics
• A view of canonical extension
• Algorithmic correspondence and canonicity for non-distributive logics
• Boolean Algebras with Operators. Part I
• Bounded distributive lattice expansions
• Completely Distributive Complete Lattices
• Duality for algebras of relevant logics
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 1333593 (Why is no real title available?)
• scientific article; zbMATH DE number 697070 (Why is no real title available?)
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• Kripke models for linear logic
• Linear logic
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Residuated lattices. An algebraic glimpse at substructural logics
• Subexponentials in non-commutative linear logic
• The linear abstract machine
• The Mathematics of Sentence Structure
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• The semantics of entailment. II
• Topological duality and algebraic completions

Cited in

(1)

• Explorations in Subexponential Non-associative Non-commutative Linear Logic

This page was built for publication: Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic

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