Abstract
In Rogerson and Restall's (J Philos Log 36, 2006, p. 435), the "class of implication formulas known to trivialize (NC)" (NC abbreviates "naive comprehension") is recorded. The aim of this paper is to show how to invalidate any member in this class by using "weak relevant model structures". Weak relevant model structures verify deep relevant logics only.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
