Tomasz Połacik (polacik)

Contributions to Philosophie.ch

Bibliography

Połacik, Tomasz. 1998. “Propositional Quantification in the Monadic Fragment of Intuitionistic Logic.” The Journal of Symbolic Logic 63(1): 269–300.
Połacik, Tomasz. 1999. “Induction Schemata Valid in Kripke Models of Arithmetical Theories.” Reports on Mathematical Logic 33: 111–125.
Połacik, Tomasz. 2012. “Archetypal Rules and Intermediate Logics.” in The Logica Yearbook 2011, edited by Michal Peliš and Vı́t Punčochář, pp. 227–238. London: College Publications.