Autonomous posets and quantales
DOI10.1051/ITA/1993270604831zbMATH Open0803.06016OpenAlexW101256140MaRDI QIDQ4304551FDOQ4304551
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
Recommendations
representation theoremsemanticslinear logiccompletionnon-commutativityautonomous posetsautonomous quantalesphase space quantale
Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05)
Cites Work
- The semantics and proof theory of linear logic
- Title not available (Why is that?)
- An extension of the Galois theory of Grothendieck
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- Quantales and (noncommutative) linear logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Quantales, observational logic and process semantics
- Residuated Lattices
- Free quantaloids
- Title not available (Why is that?)
- Constructing locales from quantales
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Language in action. Categories, lambdas and dynamic logic
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- The weakest prespecification
- A logical view of composition
- Girard quantaloids
- Axioms and models of linear logic
Cited In (3)
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)
