Topic: PARACONSISTENCY
Routes to Triviality
By Susan Rogerson and Greg Restall
It is well known that contraction-related principles trivialise naive class theory. It is less well known that many other principles unrelated to contraction also render the theory trivial. This paper provides a characterisation of a large class of formulas which do the job. This class includes all properly implication formulas known in the literature, and adds countably many more.
Follow this route to the paper
Posted by Tony Marmo
at 00:01 GMT
Updated: Saturday, 6 November 2004 00:18 GMT
