Jan von Plato

Julkaisut

Tutkimustuotoksia vuodessa 1991 2001 2003 2005 2008 2009 2014 2016 2017 2018 2021 2022

• 39 Artikkeli
• 25 Kirjan luku tai artikkeli
• 10 Kirja
• 6 Katsausartikkeli
• 5 Muut aineistot
  • 4 Konferenssiartikkeli
  • 1 Kokoomateos tai erikoisnumero

Tutkimustuotoksia vuodessa

Tutkimustuotoksia vuodessa

Hakutulokset

• 2021

  Gödel's reading of Peano's Arithmetices Principia

  von Plato, J., 2021, julkaisussa: Philosophia scientiae : travaux d'historie et de philosophie des sciences. 25, s. 185-192 8 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Logic as calculus and logic as language. Too suggestive to be truthful?

  von Plato, J., 2021, julkaisussa: Philosophia scientiae : travaux d'historie et de philosophie des sciences. 25, s. 35-47 13 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 2020

  Von Neumann explains his game theory to Gödel, September 1940

  von Plato, J., 2020, julkaisussa: Mathematical Intelligencer. 3 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
• 2019

  From mathematical axioms to mathematical rules of proof: recent developments in proof analysis

  Negri, S. & von Plato, J., 11 maalisk. 2019, julkaisussa: Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences. 377, 2140, 10 Sivumäärä, 20180037.

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
• 2018

  Kurt Gödel’s first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction

  von Plato, J., 2018, julkaisussa: Bulletin of Symbolic Logic. 24, 3, s. 319-335 17 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

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

  von Plato, J., jouluk. 2018, julkaisussa: Indagationes Mathematicae. 29, 6, s. 1546-1554 9 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
• 2017

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

  von Plato, J., 2017, julkaisussa: University of Lodz. Department of Logic. Bulletin of the Section of Logic. 46, 1/2, s. 65-74 10 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
• 2014

  From axiomatic logic to natural deduction

  von Plato, J., 2014, julkaisussa: Studia Logica. 102, s. 1167-1184

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Generality and existence: quantificational logic in historical perspective

  von Plato, J., 2014, julkaisussa: Bulletin of Symbolic Logic. 20, s. 417-448 32 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Godel, Gentzen, Goodstein: The Magic Sound of a G-String

  von Plato, J., jouluk. 2014, julkaisussa: Mathematical Intelligencer. 36, 4, s. 22-27 6 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Kadotetun loogikon kirjoituksia kellarista

  von Plato, J., 2014, julkaisussa: Tiedepolitiikka. 39, 2, s. 17-24 7 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 2012

  Gentzen's proof systems: byproducts in a work of genius

  von Plato, J., 2012, julkaisussa: Bulletin of Symbolic Logic. 18, 3, s. 313-367 55 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Normal derivability in classical natural deduction

  von Plato, J. & Siders, A., 2012, julkaisussa: The Review of Symbolic Logic. 5, 2, s. 205-211 7 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 2011

  A sequent calculus isomorphic to Gentzen's natural deduction

  von Plato, J., 2011, julkaisussa: The Review of Symbolic Logic. 4, 1, s. 43-53 11 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
• 2010

  Combinatorial analysis of proofs in projective and affine geometry

  von Plato, J., 2010, julkaisussa: Annals of Pure and Applied Logic. 162, s. 144-161 18 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
• 2008

  Gentzen's proof of normalization for natural deduction

  von Plato, J., 2008, julkaisussa: Bulletin of Symbolic Logic. 14, 2, s. 240-257 18 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 2007

  In the shadow of the Löwenheim-Skolem theorem: early combinatorial analyses of mathematical proofs

  von Plato, J., 2007, julkaisussa: Bulletin of Symbolic Logic. 13, 2, s. 189-225 37 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 2005

  A constructive approach to Sylvester's conjecture

  von Plato, J., 2005, julkaisussa: J.UCS the journal of universal computer science.. 11, 12, s. 2165-2178 14 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Normal derivability in modal logic

  von Plato, J., 2005, julkaisussa: Mathematical Logic Quarterly. 51, s. 632-638 7 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
• 2004

  Proof systems for lattice theory

  Negri, S. & von Plato, J., 2004, julkaisussa: MSCS : mathematical structures in computer science.. 14, s. 507-526 20 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Proof-theoretical analysis of order relations

  von Plato, J., Negri, S. & Coquand, T., 2004, julkaisussa: Archive for Mathematical Logic. 43, s. 297-309

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 2003

  Rereading Gentzen

  von Plato, J., 2003, julkaisussa: Synthese. 173, s. 195-209

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Skolem's discovery of Gödel-Dummett logic

  von Plato, J., 2003, julkaisussa: Studia Logica. 73, s. 153-157

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Translations from natural deduction to sequent calculus

  von Plato, J., 2003, julkaisussa: Mathematical Logic Quarterly. 49, s. 435-443

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 2002

  Hilbertin viimeinen ongelma

  Negri, S. & von Plato, J., 2002, julkaisussa: Arkhimedes. 5, s. 17-20 4 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen

• Permutability of rules in lattice theory

  von Plato, J. & Negri, S., 2002, julkaisussa: Algebra Universalis. 48, s. 473-477

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 2001

  A proof of Gentzen's Hauptsatz without multicut

  von Plato, J., 2001, julkaisussa: Archive for Mathematical Logic. 40, s. 9-18

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Natural deduction with general elimination rules

  von Plato, J., 2001, julkaisussa: Archive for Mathematical Logic. 40, s. 541-567

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Sequent calculus in natural deduction style

  Negri, S. & von Plato, J., 2001, julkaisussa: Journal of Symbolic Logic. 66, s. 1803-1816 14 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 2000

  A problem of normal form in natural deduction

  von Plato, J., 2000, julkaisussa: Mathematical Logic Quarterly. 46, s. 121-124

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 1999

  Order in open intervals of computable reals

  von Plato, J., 1999, julkaisussa: MSCS : mathematical structures in computer science.. 9, s. 103-108

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 1998

  A constructive theory of ordered affine geometry

  von Plato, J., 1998, julkaisussa: Indagationes Mathematicae. 9, s. 549-562

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Cut elimination in the presence of axioms

  Negri, S. & von Plato, J., 1998, julkaisussa: Bulletin of Symbolic Logic. 4, s. 418-435 18 Sivumäärä

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 1997

  Formalization of Hilbert's geometry of incidence and parallelism

  von Plato, J., 1997, julkaisussa: Synthese. 110, s. 127-141

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 1995

  The axioms of constructive geometry

  von Plato, J., 1995, julkaisussa: Annals of Pure and Applied Logic. 76, s. 169-200

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 1994

  Illustrations of method in Ptolemaic astronomy

  von Plato, J., 1994, julkaisussa: Grazer Philosophische Studien. 48, s. 69-82

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 1993

  Oresme's proof of the ergodicity of rotations of a circle through an irrational angle

  von Plato, J., 1993, julkaisussa: Historia Mathematica. 20, s. 428-433

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• 1991

  Boltzmann's ergodic hypothesis

  von Plato, J., 1991, julkaisussa: Archive for History of Exact Sciences. 42, s. 71-89

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

• Finite partial exchangeability

  von Plato, J., 1991, julkaisussa: Statistics & Probability Letters. 11, s. 91-94

  Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu