Browsing: Intuitionistic relevant logic