http://hdl.handle.net/20.500.12128/16032
Tytuł: | Anti-chains, focuses and projective formulas |
Autor: | Połacik, Tomasz |
Słowa kluczowe: | projective formulas; intuitionistic propositional logic; anti-chains; focuses |
Data wydania: | 2005 |
Źródło: | Bulletin of the Section of Logic, Vol. 34 no. 1 (2005), s. 1-12 |
Abstrakt: | 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. |
URI: | http://hdl.handle.net/20.500.12128/16032 |
ISSN: | 2449-836X 0138-0680 |
Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Polacik_Anti_chains_focuses_and_projectiv_ formulas.pdf | 372,27 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons