http://hdl.handle.net/20.500.12128/16023
Tytuł: | Quantified intuitionistic propositional logic and Cantor space |
Autor: | Połacik, Tomasz |
Słowa kluczowe: | intuitionistic propositional logic; topological Cantor space |
Data wydania: | 2003 |
Źródło: | Bulletin of the Section of Logic, Vol. 32, no. 1/2 (2003), s. 65-73 |
Abstrakt: | 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. |
URI: | http://hdl.handle.net/20.500.12128/16023 |
ISSN: | 2449-836X 0138-0680 |
Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Polacik_Quantified_intuitionistic_propositional.pdf | 317,56 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons