A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions | Publicación