Monadic Fragments of Intuitionistic Control Logic

• Autorzy: Anna Glenszczyk
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

Intuitionistic Control Logic; Intuitionistic Logic; Combining Logic; Control Operators

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2016
• Tom: 45
• Numer: 3/4

Daty

wydano

2016-12-30

Twórcy

autor

Anna Glenszczyk

• University of Silesia

Bibliografia

• [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).

Identyfikatory

DOI

10.18778/0138-0680.45.3.4.01