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 
@article{BSL_2016_45_3-4_a4,
     author = {Glenszczyk, Anna},
     title = {Monadic {Fragments} of {Intuitionistic} {Control} {Logic}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {45},
     number = {3-4},
     year = {2016},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a4/
%G en
%F BSL_2016_45_3-4_a4
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/