Sequent calculus for propositional likelihood logic - Alonderis, Romas (Lietuvos matematikos rinkinys, 2023)
There is not abstract.