A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3 DH | Publicación