Please use this identifier to cite or link to this item:
http://hdl.handle.net/20.500.12128/16032| Title: | Anti-chains, focuses and projective formulas |
| Authors: | Połacik, Tomasz |
| Keywords: | projective formulas; intuitionistic propositional logic; anti-chains; focuses |
| Issue Date: | 2005 |
| Citation: | Bulletin of the Section of Logic, Vol. 34 no. 1 (2005), s. 1-12 |
| 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. |
| URI: | http://hdl.handle.net/20.500.12128/16032 |
| ISSN: | 2449-836X 0138-0680 |
| Appears in Collections: | Artykuły (WNŚiT) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Polacik_Anti_chains_focuses_and_projectiv_ formulas.pdf | 372,27 kB | Adobe PDF | View/Open |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons License
