Girard subquantales

MaRDI QIDQ5432904zbMATH OpenFDO

Authors Fei Long, Qingguo Li

Publication date 18 December 2007

zbMATH Keywords

\(``\cup"\) operationdualizerGirard quantale

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Quantales (06F07)

Recommendations

• scientific article; zbMATH DE number 4173040
• Some properties of Girard quantales
• Operators in Girard quantales
• Girard quantaloids
• Quantales and structural rules

Cited in

(12)

• On the quantale of quantic nuclei
• Operators in Girard quantales
• Monoid based semantics for linear formulas (corrected republication)
• scientific article; zbMATH DE number 4173040 (Why is no real title available?)
• Some properties of Girard quantales
• Girard quantaloids
• scientific article; zbMATH DE number 1231467 (Why is no real title available?)
• Monoid based semantics for linear formulas
• scientific article; zbMATH DE number 1004877 (Why is no real title available?)
• scientific article; zbMATH DE number 1364528 (Why is no real title available?)
• A representation theorem for Girard Q-algebras
• Girard couples of quantales

This page was built for publication: Girard subquantales

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