Abstract
"Weak relevant model structures" (wr-ms) are defined on "weak relevant matrices" by generalizing Brady's model structure $${\mathcal{M}_{\rm CL}}$$ built upon Meyer's Crystal matrix CL. It is shown how to falsify in any wr-ms the Generalized Modus Ponens axiom and similar schemes used to derive Curry's Paradox. In the last section of the paper we discuss how to extend this method of falsification to more general schemes that could also be used in deriving Curry's Paradox.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have