-
13Monadic Fragments of Intuitionistic Control LogicBulletin of the Section of Logic 45 (3/4). 2016.We investigate monadic fragments of Intuitionistic Control Logic, which is obtained from Intuitionistic Propositional Logic by extending language of IPL by a constant distinct from intuitionistic constants. In particular we present the complete description of purely negational fragment and show that most of monadic fragments are finite.
-
29Negational Fragment of Intuitionistic Control LogicStudia Logica 103 (6): 1101-1121. 2015.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 \