scientific article

zbMath1164.03002arXivmath/0504133MaRDI QIDQ3510438

Kosta Došen, Zoran Petrić

Publication date: 2 July 2008

Full work available at URL: https://arxiv.org/abs/math/0504133

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

zbMATH Keywords

partial functionssymmetric monoidal closed categoriespointed setsintuitionistic relevant logicdiagonal natural transformation

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Genuine equivariant operads

This page was built for publication: