Imprecise probabilities, bets and functional analytic methods in Lukasiewicz logic