Enumerating, cataloguing and classifying all quantales on up to nine elements

DOI10.1007/978-3-031-28083-2_14OpenAlexW4323527473MaRDI QIDQ6174426

Arman Shamsgovara

Publication date: 17 August 2023

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-28083-2_14

zbMATH Keywords

classificationenumerationquantales

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Residuated lattices of size \(\leq 12\)
• Semigroups in complete lattices. Quantales, modules and related topics
• The semigroups of order 9 and their automorphism groups.
• Mathematical Logic for Computer Science
• Quantales and (noncommutative) linear logic
• Theory and Applications of Satisfiability Testing

This page was built for publication: Enumerating, cataloguing and classifying all quantales on up to nine elements