Tomasz Połacik

Abstracts in conference materials

1. Topological interpretations of second order intuitionistic propositional logic. Volume of Abstracts of Tenth International Congress of Logic, Methodology and Philosophy of Science. Florencja, 1995.

2. Propositional quantification in intuitionistic logic.G.Gottlob, A.Leitsch, D.Mundici (eds.), "Computational Logic and Proof Theory" (Proceedings), 5th K.Gödel Colloquium 1997, Wiedeń; Springer, 255-263.

3. Kripke Models of arithmetical theories. Volume of Abstracts of 11th International Congress of Logic, Methodology and Philosophy of Science, Kraków, 1999.

4. Quantified propositional formulas, intuitionistic logic, and Cantor space. Proceedings of International Joint Conference on Automated Reasoning (IJCAR). Siena, 2001.

5. Quantifying over propositions in the class of trees. The Bulletin of Symbolic Logic.