Autonomous posets and quantales

DOI10.1051/ITA/1993270604831MaRDI QIDQ4304551zbMATH OpenOpenAlexFDO

Authors G. F. Mascari, Fabrizio Pucci

Publication date 12 September 1994

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92462

zbMATH Keywords

autonomous posetsautonomous quantalescompletionlinear logicnon-commutativityphase space quantalerepresentation theoremsemantics

Mathematics Subject Classification ID

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

Recommendations

• Noncommutative linear logic and its quantale semantics
• scientific article; zbMATH DE number 1531367
• scientific article; zbMATH DE number 5295711
• Quantales and (noncommutative) linear logic
• scientific article; zbMATH DE number 4173040

Cites work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• A logical view of composition
• An extension of the Galois theory of Grothendieck
• Axioms and models of linear logic
• Constructing locales from quantales
• Free quantaloids
• Girard quantaloids
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 125887 (Why is no real title available?)
• scientific article; zbMATH DE number 3463819 (Why is no real title available?)
• scientific article; zbMATH DE number 4125443 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 1406803 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• Language in action. Categories, lambdas and dynamic logic
• Linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Quantales and (noncommutative) linear logic
• Quantales, observational logic and process semantics
• Residuated Lattices
• The semantics and proof theory of linear logic
• The weakest prespecification

Cited in

(3)

• MIX \(\star\)-autonomous quantales and the continuous weak order
• scientific article; zbMATH DE number 702961 (Why is no real title available?)
• scientific article; zbMATH DE number 1531367 (Why is no real title available?)

This page was built for publication: Autonomous posets and quantales

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