Semiring-Induced Propositional Logic: Definition and Basic Algorithms | Publicación