  We investigate properties of monadic purely negational fragment of
Intuitionistic Control Logic (ICL). This logic arises from Intuitionistic
Propositional Logic (IPL) by extending language of IPL by additional new
constant for falsum. Having two different falsum constants enables to define
two forms of negation. We analyse implicational relations between negational
monadic formulae and present a poset of non equivalent formulae of this
fragment of ICL.
