ArticleOriginal scientific text
Title
Monadic Fragments of Intuitionistic Control Logic
Authors
Abstract
We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) 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.
Keywords
Intuitionistic Control Logic, Intuitionistic Logic, Combining Logic, Control Operators
Main language of publication
English
Published
2016
Humanities