Baratella. A Predicate Extension of Real Valued Logic. no. 5-6, Springer Nature, May 2017, doi:10.1007/s00153-017-0558-3.