ANTI-CHAINS, FOCUSES AND PROJECTIVE FORMULAS
Tomasz Połacik · 2005
We characterize projective formulas in intuitionistic propositional logic in terms of properties of subsets of universal Kripke models they deflne. The characterization allows us to prove some properties of the formulas in question.