Multiquantaloids

MaRDI QIDQ3080424zbMATH OpenFDO

Authors Remigijus Petras Gylys

Publication date 10 March 2011

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Quantales (06F07) Categorical structures (18D99)

Recommendations

• Algebra of proofs
• Free quantaloids
• Girard quantaloids
• scientific article; zbMATH DE number 426318
• scientific article; zbMATH DE number 1070654

Cited in

(5)

• Quasibosons
• scientific article; zbMATH DE number 3173780 (Why is no real title available?)
• The MultipleQ-Construction
• Girard quantaloids
• Graded multicategories of polynomial-time realizers

This page was built for publication: Multiquantaloids

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