DC pole | Wartość | Język |
dc.contributor.author | Połacik, Tomasz | - |
dc.date.accessioned | 2020-09-21T09:43:34Z | - |
dc.date.available | 2020-09-21T09:43:34Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | Bulletin of the Section of Logic, Vol. 34 no. 1 (2005), s. 1-12 | pl_PL |
dc.identifier.issn | 2449-836X | - |
dc.identifier.issn | 0138-0680 | - |
dc.identifier.uri | http://hdl.handle.net/20.500.12128/16032 | - |
dc.description.abstract | We 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.iso | en | pl_PL |
dc.rights | Uznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/pl/ | * |
dc.subject | projective formulas | pl_PL |
dc.subject | intuitionistic propositional logic | pl_PL |
dc.subject | anti-chains | pl_PL |
dc.subject | focuses | pl_PL |
dc.title | Anti-chains, focuses and projective formulas | pl_PL |
dc.type | info:eu-repo/semantics/article | pl_PL |
Pojawia się w kolekcji: | Artykuły (WNŚiT)
|