Skip navigation

Please use this identifier to cite or link to this item:
Title: Monadic fragments of intuitionistic control logic
Authors: Glenszczyk, Anna
Keywords: Intuitionistic Control Logic; Intuitionistic Logic; Combining logic; Control Operators
Issue Date: 2016
Citation: Bulletin of the Section of Logic, Vol. 45, iss. 3/4 (2016), pp. 143-153
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 nite.
DOI: 10.18778/0138-0680.
ISSN: 0138-0680
Appears in Collections:Artykuły (WNŚiT)

Files in This Item:
File Description SizeFormat 
Glenszczyk_Monadic_fragments_of_intuitionistic_control_logic.pdf831,46 kBAdobe PDFView/Open
Show full item record

Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons License Creative Commons