Proof theory of skew non-commutative \texttt{MILL}
From MaRDI portal
Publication:6659903
Cites work
- scientific article; zbMATH DE number 3305156 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- A new constructive logic: classic logic
- A sequent calculus for a semi-associative law
- Coherence via focusing for symmetric skew monoidal categories
- Deductive systems and categories
- Eilenberg-Kelly reloaded
- Linear exponential comonads without symmetry
- Logic Programming with Focusing Proofs in Linear Logic
- Logical Approaches to Computational Barriers
- Monads need not be endofunctors
- Non‐commutative intuitionistic linear logic
- On the Lambek calculus with an exchange modality
- Proof Theory of Partially Normal Skew Monoidal Categories
- Skew monoidal categories and skew multicategories
- Skew monoidales, skew warpings and quantum categories
- Skew structures in 2-category theory and homotopy theory
- Skew-closed categories
- Skew-monoidal categories and bialgebroids.
- The Catalan simplicial set
- The Mathematics of Sentence Structure
- The sequent calculus of skew monoidal categories
- Triangulations, orientals, and skew monoidal categories
- Which simple types have a unique inhabitant?
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)
