Abstract

We investigate properties of monadic purely negational fragment of Intuitionistic Control Logic ). This logic arises from Intuitionistic Propositional Logic ) by extending language of \ 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 \