The Relevance of Semantic Subtyping

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

• Type: Journal
• Year: 2002
• Where: ENTCS
• Authors: Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama
• Keywords: ENTCS 2002, Logic B+, Minimal Relevant, Subtyping