Alonderis, R. (2023) “Sequent calculus for propositional likelihood logic”, Lietuvos matematikos rinkinys, 46(spec.), pp. 225–231. doi:10.15388/LMR.2006.30714.