Abstract
These mathematical components formalise basic properties of quantales,
together with some important models, constructions, and concepts,
including quantic nuclei and conuclei.
License
Topics
Session Quantales
- Dioid_Models_New
- Quantales
- Quantale_Star
- Quantale_Modules
- Quantale_Models
- Quantic_Nuclei_Conuclei
- Quantale_Left_Sided