Proof theory of skew non-commutative \texttt{MILL}
type: Item
instance of: scholarly article
title: Proof theory of skew non-commutative \texttt{MILL}
author: Tarmo Uustalu
author: Niccolò Veltri
author: Cheng-Syuan Wan
publication date: 2025-01-09T00:00:00Z
Mathematics Subject Classification ID: 03Bxx
zbMATH DE Number: 7964356
MaRDI profile type: Publication
cites work: Non‐commutative intuitionistic linear logic
cites work: Monads need not be endofunctors
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Skew structures in 2-category theory and homotopy theory
cites work: Skew monoidal categories and skew multicategories
cites work: The Catalan simplicial set
cites work: Logical Approaches to Computational Barriers
cites work: Q5586461
cites work: A new constructive logic: classic logic
cites work: Linear Exponential Comonads without Symmetry
cites work: Q5018487
cites work: Skew monoidales, skew warpings and quantum categories
cites work: Triangulations, orientals, and skew monoidal categories
cites work: The Mathematics of Sentence Structure
cites work: Deductive systems and categories
cites work: Q5655527
cites work: Which simple types have a unique inhabitant?
cites work: Skew-closed categories
cites work: Skew-monoidal categories and bialgebroids.
cites work: Eilenberg-Kelly reloaded
cites work: Proof Theory of Partially Normal Skew Monoidal Categories
cites work: The Sequent Calculus of Skew Monoidal Categories
cites work: Coherence via focusing for symmetric skew monoidal categories
cites work: Q4625697
DOI: 10.4204/EPTCS.358.9
description: scientific article; zbMATH DE number 7964356