Proof theory of skew non-commutative \texttt{MILL}
From MaRDI portal
Publication:6659903
DOI10.4204/EPTCS.358.9MaRDI QIDQ6659903FDOQ6659903
Authors: Tarmo Uustalu, Niccolò Veltri, Cheng-Syuan Wan 
Publication date: 9 January 2025
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Mathematics of Sentence Structure
- Skew monoidal categories and skew multicategories
- Skew-monoidal categories and bialgebroids.
- A new constructive logic: classic logic
- Logic Programming with Focusing Proofs in Linear Logic
- Deductive systems and categories
- Skew monoidales, skew warpings and quantum categories
- Logical Approaches to Computational Barriers
- Monads need not be endofunctors
- On the Lambek calculus with an exchange modality
- Skew structures in 2-category theory and homotopy theory
- Skew-closed categories
- Non‐commutative intuitionistic linear logic
- Triangulations, orientals, and skew monoidal categories
- Which simple types have a unique inhabitant?
- Eilenberg-Kelly reloaded
- The sequent calculus of skew monoidal categories
- The Catalan simplicial set
- A sequent calculus for a semi-associative law
- Proof Theory of Partially Normal Skew Monoidal Categories
- Coherence via focusing for symmetric skew monoidal categories
- Linear exponential comonads without symmetry
This page was built for publication: Proof theory of skew non-commutative \texttt{MILL}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659903)
