A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques. - Inmaculada Fortes; Maria A. Galán; Gabriel Aguilera 001; Alfredo Burrieza; J. Morones; Sixto Sánchez (Fuzzy Sets Syst., 2013)