Andrea Cantini Levels of Truth. 185-213 1995 36 Notre Dame Journal of Formal Logic 2 db/journals/ndjfl/ndjfl36.html#Cantini95