Monadic Fragments of Intuitionistic Control Logic
Bulletin of the Section of Logic (2016)
- Volume: 45, Issue: 3/4
- ISSN: 0138-0680
Access Full Article
topAbstract
topHow to cite
topAnna Glenszczyk. "Monadic Fragments of Intuitionistic Control Logic." Bulletin of the Section of Logic 45.3/4 (2016): null. <http://eudml.org/doc/295576>.
@article{AnnaGlenszczyk2016,
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.},
author = {Anna Glenszczyk},
journal = {Bulletin of the Section of Logic},
keywords = {Intuitionistic Control Logic; Intuitionistic Logic; Combining Logic; Control Operators},
language = {eng},
number = {3/4},
pages = {null},
title = {Monadic Fragments of Intuitionistic Control Logic},
url = {http://eudml.org/doc/295576},
volume = {45},
year = {2016},
}
TY - JOUR
AU - Anna Glenszczyk
TI - Monadic Fragments of Intuitionistic Control Logic
JO - Bulletin of the Section of Logic
PY - 2016
VL - 45
IS - 3/4
SP - null
AB - 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.
LA - eng
KW - Intuitionistic Control Logic; Intuitionistic Logic; Combining Logic; Control Operators
UR - http://eudml.org/doc/295576
ER -
References
top- [1] A. Chagrov, M. Zakharyaschev, Modal Logic, Oxford Logic Guides 35 (1997).
- [2] A. Glenszczyk, Negational Fragment of Intuitionistic Control Logic, Studia Logica 103:6 (2015), pp. 1101–1121.
- [3] C. Liang, D. Miller, An intuitionistic Control Logic, to appear.
- [4] C. Liang, D. Miller, Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic, Ann. Pure Appl. Logic 164:2 (2013), pp. 86–111.
- [5] C. Liang, D. Miller, Unifying classical and intuitionistic logics for computational control, Proceedings of LICS (2013).
- [6] A.S. Troelstra, D. van Dalen, Constructivism in Mathematics, Studies in Logic and the Foundations of Mathematics (2014).
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.