Skip navigation

Please use this identifier to cite or link to this item:
Title: Negational fragment of intuitionistic control logic
Authors: Glenszczyk, Anna
Keywords: intuitionistic control logic; intuitionistic logic; classical logic; kripke models
Issue Date: 2015
Citation: Studia Logica, Vol. 103, iss. 6 (2015), s. 1101-1121
Abstract: We investigate properties of monadic purely negational fragment of Intuitionistic Control Logic (ICL). This logic arises from Intuitionistic Propositional Logic (IPL) by extending language of 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 ICL.
DOI: 10.1007/s11225-015-9610-7
ISSN: 0039-3215
Appears in Collections:Artykuły (WNŚiT)

Files in This Item:
File Description SizeFormat 
Glenszczyk_Negational_fragment_of_intuitionistic.pdf477,01 kBAdobe PDFView/Open
Show full item record

Uznanie Autorstwa 3.0 Polska Creative Commons License Creative Commons