19 citations · 20 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2026★ 19 cited
Quantale Modules, with Applications to Logic and Image Processing
Ciro Russo
We propose a categorical and algebraic study of quantale modules. The results and constructions presented are also applied to abstract algebraic logic and to image processing tasks…
math.LO2025
The category of propositional deductive systems
Ciro Russo
We define the category $\QM$ of quantales and their modules and prove the existence of coproducts, and the existence of pushout and amalgamated coproducts under certain conditions.…