Geodesic
Monadic Fragments of Intuitionistic Control Logic
Bulletin of the Section of Logic, Tome 45 (2016) no. 3-4

Voir la notice de l'article provenant de la source Library of Science

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 
Glenszczyk, Anna. Monadic Fragments of Intuitionistic Control Logic. Bulletin of the Section of Logic, Tome 45 (2016) no. 3-4. http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a4/
@article{BSL_2016_45_3-4_a4,
     author = {Glenszczyk, Anna},
     title = {Monadic {Fragments} of {Intuitionistic} {Control} {Logic}},
     journal = {Bulletin of the Section of Logic},
     year = {2016},
     volume = {45},
     number = {3-4},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a4/}
}
TY  - JOUR
AU  - Glenszczyk, Anna
TI  - Monadic Fragments of Intuitionistic Control Logic
JO  - Bulletin of the Section of Logic
PY  - 2016
VL  - 45
IS  - 3-4
UR  - http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a4/
LA  - en
ID  - BSL_2016_45_3-4_a4
ER  - 
%0 Journal Article
%A Glenszczyk, Anna
%T Monadic Fragments of Intuitionistic Control Logic
%J Bulletin of the Section of Logic
%D 2016
%V 45
%N 3-4
%U http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a4/
%G en
%F BSL_2016_45_3-4_a4