The Relevance of Semantic Subtyping

Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama
2003 Electronical Notes in Theoretical Computer Science  
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