Quantales

Georg Struth

11 December 2018

Abstract

These mathematical components formalise basic properties of quantales, together with some important models, constructions, and concepts, including quantic nuclei and conuclei.
BSD License

Depends On

Used by

Topics

Related Entries

Theories

Cite

×
@article{Quantales-AFP,
  author  = {Georg Struth},
  title   = {Quantales},
  journal = {Archive of Formal Proofs},
  month   = December,
  year    = 2018,
  note    = {\url{http://isa-afp.org/entries/Quantales.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
Download