Text this: Sequent calculus for propositional likelihood logic