Abstract
We investigate properties of monadic purely negational fragment of Intuitionistic Control Logic (\({\mathsf{ICL}}\)). This logic arises from Intuitionistic Propositional Logic (\({\mathsf{IPL}}\)) by extending language of \({\mathsf{IPL}}\) by additional new constant for falsum. Having two different falsum constants enables to define two forms of negation. We analyse implicational relations between negational monadic formulae and present a poset of non equivalent formulae of this fragment of \({\mathsf{ICL}}\).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Liang, C., and D. Miller, An intuitionistic control logic, to appear.
Liang, C., and D. Miller, Unifying classical and intuitionistic logics for computational control, Proceedings of LICS, 2013.
Mints, G., A Short Introduction to Intuitionistic Logic, Kluwer Academic/Plenum Publishers, New York, 2000.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Andrzej Indrzejczak
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Glenszczyk, A. Negational Fragment of Intuitionistic Control Logic. Stud Logica 103, 1101–1121 (2015). https://doi.org/10.1007/s11225-015-9610-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9610-7