Quantales and structural rules

DOI10.1093/LOGCOM/6.5.709zbMath0861.03048OpenAlexW2086266310MaRDI QIDQ4716049

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

contractionGirard quantalemultiplicative fragment of linear logiccommutative quantaledismissed weakening

Mathematics Subject Classification ID

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

Related Items (1)

FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC

This page was built for publication: Quantales and structural rules