Quantales

This is a catalogue of algebraic structures known as quantales, which are lattices with semigroup operations. As a companion app to ongoing research in the algebraic foundations of many-valued logic, this encyclopedia of quantales may come in handy for anyone who researches algebra or logic, or simp