Autonomous posets and quantales

DOI10.1051/ita/1993270604831zbMath0803.06016OpenAlexW101256140MaRDI QIDQ4304551

Fabrizio Pucci, G. F. Mascari

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

representation theoremcompletionlinear logicsemanticsnon-commutativityautonomous posetsautonomous quantalesphase space quantale

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• A logical view of composition
• Free quantaloids
• Axioms and models of linear logic
• The weakest prespecification
• The semantics and proof theory of linear logic
• Language in action. Categories, lambdas and dynamic logic
• An extension of the Galois theory of Grothendieck
• Quantales and (noncommutative) linear logic
• Constructing locales from quantales
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Girard quantaloids
• Quantales, observational logic and process semantics
• Residuated Lattices

This page was built for publication: Autonomous posets and quantales