Semantic closure, descriptions and non-triviality

It is known that a semantically closed theory with description may well be trivial if the principles concerning denotation and descriptions are formul ated in certain ways, even it the underlying logic is paraconsistent. This paper establishes the non-triviality of a semantically closed theory with a natural, but non-extensional, description operator.