Has there been much work done on the notion of approximate truth, for example under what rules of inference approximate truth is preserved, or what kind of metric one could use to say that proposition X1 is 'truer than' proposition X2?