Skip navigation

Zastosuj identyfikator do podlinkowania lub zacytowania tej pozycji: http://hdl.handle.net/20.500.12128/9418
Pełny rekord metadanych
DC poleWartośćJęzyk
dc.contributor.authorGlenszczyk, Anna-
dc.date.accessioned2019-06-10T09:55:53Z-
dc.date.available2019-06-10T09:55:53Z-
dc.date.issued2016-
dc.identifier.citationBulletin of the Section of Logic, Vol. 45, iss. 3/4 (2016), pp. 143-153pl_PL
dc.identifier.issn0138-0680-
dc.identifier.issn2449-836X-
dc.identifier.urihttp://hdl.handle.net/20.500.12128/9418-
dc.description.abstractWe 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.pl_PL
dc.language.isoenpl_PL
dc.rightsUznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/pl/*
dc.subjectIntuitionistic Control Logicpl_PL
dc.subjectIntuitionistic Logicpl_PL
dc.subjectCombining logicpl_PL
dc.subjectControl Operatorspl_PL
dc.titleMonadic fragments of intuitionistic control logicpl_PL
dc.typeinfo:eu-repo/semantics/articlepl_PL
dc.identifier.doi10.18778/0138-0680.45.3.4.01-
Pojawia się w kolekcji:Artykuły (WNŚiT)

Pliki tej pozycji:
Plik Opis RozmiarFormat 
Glenszczyk_Monadic_fragments_of_intuitionistic_control_logic.pdf831,46 kBAdobe PDFPrzejrzyj / Otwórz
Pokaż prosty rekord


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