Truer

turns up, albeit in scare quotes, in a paper “John Bell”:http://publish.uwo.ca/%7Ejbell/ just posted on “Causal Sets and Frame-Valued Set Theory”:http://publish.uwo.ca/%7Ejbell/Causal%20sets%20and%20Frame-Valued%20Set%20Theory.pdf. What’s interesting from my perspective is that Bell doesn’t assume truer, or “truer”, is a linear relation. In the particular case he writes about, truer determines a Heyting lattice. So one more data point for the claim that it is not constitutive of the relation truer that it is linear.