A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
We compare Meyer and Routley's minimal relevant logic B + with the recent semanticsbased approach to subtyping introduced by Frisch, Castagna and Benzaken in the definition of a type system with intersection and union. We show that -for the functional core of the system -such notion of subtyping, which is defined in purely set-theoretical terms, coincides with the relevant entailment of the logic B + .doi:10.1016/s1571-0661(04)80492-4 fatcat:rspwvakcvzb5lilqeojcgfmn7u