Skip navigation

Zastosuj identyfikator do podlinkowania lub zacytowania tej pozycji: http://hdl.handle.net/20.500.12128/16032
Pełny rekord metadanych
DC poleWartośćJęzyk
dc.contributor.authorPołacik, Tomasz-
dc.date.accessioned2020-09-21T09:43:34Z-
dc.date.available2020-09-21T09:43:34Z-
dc.date.issued2005-
dc.identifier.citationBulletin of the Section of Logic, Vol. 34 no. 1 (2005), s. 1-12pl_PL
dc.identifier.issn2449-836X-
dc.identifier.issn0138-0680-
dc.identifier.urihttp://hdl.handle.net/20.500.12128/16032-
dc.description.abstractWe characterize projective formulas in intuitionistic propositional logic in terms of properties of subsets of universal Kripke models they define. The characterization allows us to prove some properties of the formulas in question.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.subjectprojective formulaspl_PL
dc.subjectintuitionistic propositional logicpl_PL
dc.subjectanti-chainspl_PL
dc.subjectfocusespl_PL
dc.titleAnti-chains, focuses and projective formulaspl_PL
dc.typeinfo:eu-repo/semantics/articlepl_PL
Pojawia się w kolekcji:Artykuły (WNŚiT)

Pliki tej pozycji:
Plik Opis RozmiarFormat 
Polacik_Anti_chains_focuses_and_projectiv_ formulas.pdf372,27 kBAdobe PDFPrzejrzyj / Otwórz
Pokaż prosty rekord


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