Relevant categories and partial functions

MaRDI QIDQ3510438zbMATH OpenFDO

Authors Kosta Došen, Zoran Petrić

Publication date 2 July 2008

Full work available at URL https://arxiv.org/abs/math/0504133, https://eudml.org/doc/130038

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

diagonal natural transformationintuitionistic relevant logicpartial functionspointed setssymmetric monoidal closed categories

Mathematics Subject Classification ID

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

Recommendations

• Categories of partial maps
• scientific article; zbMATH DE number 4108981
• Paraconsistency in categories: case of relevance logic
• Partial Horn logic and Cartesian categories
• Partiality, cartesian closedness, and toposes

Cited in

(4)

• Categories of relations and functional relations
• Genuine equivariant operads
• scientific article; zbMATH DE number 16514 (Why is no real title available?)
• scientific article; zbMATH DE number 2079264 (Why is no real title available?)

This page was built for publication: Relevant categories and partial functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3510438)