Jan von Plato

Person

Latest publications

  1. Real numbers and projective spaces: Intuitionistic reasoning with undecidable basic relations

    von Plato, J., 28 Jun 2018, In : Indagationes Mathematicae.

    Research output: Contribution to journalArticleScientificpeer-review

  2. From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

    von Plato, J., 2017, In : University of Lodz. Department of Logic. Bulletin of the Section of Logic. 46, p. 65-74 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Husserl and Grassmann

    von Plato, J., 2017, Essays on Husserl's Logic and Philosophy of Mathematics. Centrone, S. (ed.). Dordrecht: Springer, p. 93-109 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

View all (69) »

ID: 62188