Negational fragment of intuitionistic control logic

Pełny rekord metadanych

DC pole	Wartość	Język
dc.contributor.author	Glenszczyk, Anna	-
dc.date.accessioned	2019-05-10T09:52:32Z	-
dc.date.available	2019-05-10T09:52:32Z	-
dc.date.issued	2015	-
dc.identifier.citation	Studia Logica, Vol. 103, iss. 6 (2015), s. 1101-1121	pl_PL
dc.identifier.issn	0039-3215	-
dc.identifier.uri	http://hdl.handle.net/20.500.12128/9089	-
dc.description.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.	pl_PL
dc.language.iso	en	pl_PL
dc.rights	Uznanie autorstwa 3.0 Polska	*
dc.rights.uri	http://creativecommons.org/licenses/by/3.0/pl/	*
dc.subject	intuitionistic control logic	pl_PL
dc.subject	intuitionistic logic	pl_PL
dc.subject	classical logic	pl_PL
dc.subject	kripke models	pl_PL
dc.title	Negational fragment of intuitionistic control logic	pl_PL
dc.type	info:eu-repo/semantics/article	pl_PL
dc.identifier.doi	10.1007/s11225-015-9610-7	-
Pojawia się w kolekcji:	Artykuły (WNŚiT)