Return to Article Details Intersection Type Systems and Logics Related to the Meyer–Routley System B+ Download Download PDF