Semi-substructural logics with additives
From MaRDI portal
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Categorical aspects of linear logic (18M45) Bimonoidal, skew-monoidal, duoidal categories (18M50) Formalization of mathematics in connection with theorem provers (68V20)
Cites work
- A new constructive logic: classic logic
- A sequent calculus for a semi-associative law
- Braided skew monoidal categories
- Coherence via focusing for symmetric skew monoidal categories
- Deductive systems and coherence for skew prounital closed categories
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- Linear logic
- Logic Programming with Focusing Proofs in Linear Logic
- Maximally multi-focused proofs for skew non-commutative \texttt{MILL}
- Monads need not be endofunctors
- Non‐commutative intuitionistic linear logic
- Proof Theory of Partially Normal Skew Monoidal Categories
- Proof theory of skew non-commutative \texttt{MILL}
- 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 logic of categorial grammars. A deductive account of natural language syntax and semantics
- 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?
Cited in
(3)
This page was built for publication: Semi-substructural logics with additives
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6934133)
