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).
[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).
Downloads
Published
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.
How to Cite
