scientific article

zbMath0790.18004MaRDI QIDQ3138536

R. A. G. Seely, J. Robin B. Cockett

Publication date: 26 June 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cut rulesequent calculiweakly distributive categorypolycategories*- autonomous categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05)

Related Items

Holomorphic models of exponential types in linear logic ⋮ \(*\)-autonomous categories of bimodules ⋮ Linear Läuchli semantics ⋮ Natural deduction and coherence for weakly distributive categories ⋮ May I borrow your logic? (Transporting logical structures along maps) ⋮ Constructing process categories ⋮ Experiments in linear natural deduction ⋮ Unnamed Item ⋮ Weakly distributive categories ⋮ Linear logic, coherence and dinaturality ⋮ Type Similarity for the Lambek-Grishin Calculus Revisited ⋮ Continuation semantics for the Lambek-Grishin calculus ⋮ Coherence for star-autonomous categories ⋮ Proof theory in the abstract ⋮ Dwyer–Kan homotopy theory for cyclic operads ⋮ A monadic approach to polycategories ⋮ Dendriform algebras relative to a semigroup ⋮ Feedback for linearly distributive categories: Traces and fixpoints ⋮ Full intuitionistic linear logic