Quantales

 Title: Quantales Author: Georg Struth Submission date: 2018-12-11 Abstract: These mathematical components formalise basic properties of quantales, together with some important models, constructions, and concepts, including quantic nuclei and conuclei. BibTeX: @article{Quantales-AFP, author = {Georg Struth}, title = {Quantales}, journal = {Archive of Formal Proofs}, month = dec, year = 2018, note = {\url{http://isa-afp.org/entries/Quantales.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License Depends on: Kleene_Algebra, Order_Lattice_Props Used by: Transformer_Semantics Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.