DC pole | Wartość | Język |
dc.contributor.author | Połacik, Tomasz | - |
dc.date.accessioned | 2020-09-21T07:35:44Z | - |
dc.date.available | 2020-09-21T07:35:44Z | - |
dc.date.issued | 2003 | - |
dc.identifier.citation | Bulletin of the Section of Logic, Vol. 32, no. 1/2 (2003), s. 65-73 | pl_PL |
dc.identifier.issn | 2449-836X | - |
dc.identifier.issn | 0138-0680 | - |
dc.identifier.uri | http://hdl.handle.net/20.500.12128/16023 | - |
dc.description.abstract | We consider propositional quantification in intuitionistic logic. We prove that, under topological interpretation over the Cantor space, it enjoys surprising and interesting properties such as the maximum property and a kind of distribution of existential quantifier over conjunction. Moreover, by pointing to appropriate examples, we show that the set of quantified formulas valid in the Cantor space strictly contains the set of formulas provable in the minimal system of intuitionistic logic with propositional quantification. | 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 | intuitionistic propositional logic | pl_PL |
dc.subject | topological Cantor space | pl_PL |
dc.title | Quantified intuitionistic propositional logic and Cantor space | pl_PL |
dc.type | info:eu-repo/semantics/article | pl_PL |
Pojawia się w kolekcji: | Artykuły (WNŚiT)
|