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 simply wishes to explore this specific corner of mathematics.
Features include:
- Filtering / counting quantales with specific algebraic properties,
- Curating your own list of bookmarked quantales for future reference,
- Sharing quantales you find interesting with your friends and colleagues as images!