31 citations · 126 across the 16 of their papers we have counts for
1 paper · 1 filter
Ciro Russo
We propose various methods for combining or amalgamating propositional languages and deductive systems. We make heavy use of quantales and quantale modules in the wake of previous…