Graham Priest The Trivial Object and the Non-Triviality of a Semantically Closed Theory with Descriptions. 1998 8 Journal of Applied Non-Classical Logics 1-2 db/journals/jancl/jancl8.html#Priest98