Monadic Fragments of Intuitionistic Control Logic
DOI:
https://doi.org/10.18778/0138-0680.45.3.4.01Keywords:
Intuitionistic Control Logic, Intuitionistic Logic, Combining Logic, Control OperatorsAbstract
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.
References
[1] A. Chagrov, M. Zakharyaschev, Modal Logic, Oxford Logic Guides 35 (1997).
Google Scholar
[2] A. Glenszczyk, Negational Fragment of Intuitionistic Control Logic, Studia Logica 103:6 (2015), pp. 1101–1121.
Google Scholar
[3] C. Liang, D. Miller, An intuitionistic Control Logic, to appear.
Google Scholar
[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.
Google Scholar
[5] C. Liang, D. Miller, Unifying classical and intuitionistic logics for computational control, Proceedings of LICS (2013).
Google Scholar
[6] A.S. Troelstra, D. van Dalen, Constructivism in Mathematics, Studies in Logic and the Foundations of Mathematics (2014).
Google Scholar
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2016 © Copyright by Authors, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
