Sequent calculus for propositional likelihood logic - Romas Alonderis (Lietuvos Matematikos Rinkinys)
There is not abstract.