Quantales and structural rules

DOI10.1093/LOGCOM/6.5.709MaRDI QIDQ4716049zbMATH OpenOpenAlexFDO

Authors Mario Piazza, Maurizio Castellan

Publication date 6 May 1997

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/6.5.709

zbMATH Keywords

commutative quantalecontractiondismissed weakeningGirard quantalemultiplicative fragment of linear logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05)

Recommendations

• scientific article; zbMATH DE number 46487
• scientific article; zbMATH DE number 5713246
• scientific article; zbMATH DE number 1140581
• Quantales and Temporal Logics
• scientific article; zbMATH DE number 1512862
• Quantales, observational logic and process semantics
• Logical quantizations of first-order structures
• Generalized quantification as substructural logic
• scientific article; zbMATH DE number 4083696
• Generalized quantifiers and modal logic

Cited in

(15)

• Frobenius quantales, Serre quantales and the Riemann-Roch theorem
• A remark on a paper of van Alten
• Monoid based semantics for linear formulas (corrected republication)
• Fractional semantics for classical logic
• Commutative Locative Quantifiers for Multiplicative Linear Logic
• scientific article; zbMATH DE number 46487 (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 6179133 (Why is no real title available?)
• Cyclic dualizing elements in Girard quantales
• Girard subquantales
• Linear logic in a refutational setting
• Molecular biology meets logic: context-sensitiveness in focus
• Universal quantitative algebra for fuzzy relations and generalised metric spaces
• Girard couples of quantales

This page was built for publication: Quantales and structural rules

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