default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJan von Plato
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j26]Matthias Baaz, Marcel Ertel, Reinhard Kahle, Thomas Piecha, Jan von Plato:
90 years of Gödel's incompleteness theorems: Logic and computation. J. Log. Comput. 34(6): 1003-1009 (2024)- [c4]Melissa Antonelli, Jan von Plato:
On the Proof Theory of Apodictic Syllogistic. AiML 2024: 101-124
2010 – 2019
- 2018
- [j25]Jan von Plato:
Kurt Gödel's First Steps in Logic: Formal Proofs in Arithmetic and Set Theory through a System of Natural Deduction. Bull. Symb. Log. 24(3): 319-335 (2018) - 2016
- [p2]Jan von Plato:
Explicit Composition and Its Application in Proofs of Normalization. Advances in Proof-Theoretic Semantics 2016: 139-152 - 2015
- [c3]Jan von Plato:
In Search of the Roots of Formal Computation. HaPoC 2015: 300-320 - 2014
- [b2]Sara Negri, Jan von Plato:
Proof Analysis - A Contribution to Hilbert's Last Problem. Cambridge University Press 2014, ISBN 978-1-10-741723-6, pp. I-XI, 1-265 - [j24]Jan von Plato:
David Hilbert's lectures on the foundations of arithmetic and logic 1917-1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp. Bull. Symb. Log. 20(3): 363-365 (2014) - [j23]Jan von Plato:
Generality and existence: Quantificational Logic in Historical Perspective. Bull. Symb. Log. 20(4): 417-448 (2014) - [j22]Jan von Plato:
From Axiomatic Logic to Natural Deduction. Stud Logica 102(6): 1167-1184 (2014) - 2012
- [j21]Jan von Plato:
Gentzen's proof systems: byproducts in a work of genius. Bull. Symb. Log. 18(3): 313-367 (2012) - [j20]Jan von Plato, Annika Siders:
Normal Derivability in Classical Natural Deduction. Rev. Symb. Log. 5(2): 205-211 (2012) - 2011
- [j19]Jan von Plato:
A Sequent Calculus isomorphic to Gentzen's Natural Deduction. Rev. Symb. Log. 4(1): 43-53 (2011) - 2010
- [j18]Jan von Plato:
Combinatorial analysis of proofs in projective and affine geometry. Ann. Pure Appl. Log. 162(2): 144-161 (2010)
2000 – 2009
- 2009
- [r1]Jan von Plato:
Gentzen's Logic. Logic from Russell to Church 2009: 667-721 - 2008
- [j17]Jan von Plato:
Gentzen's Proof of Normalization for Natural Deduction. Bull. Symb. Log. 14(2): 240-257 (2008) - 2007
- [j16]Jan von Plato:
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs. Bull. Symb. Log. 13(2): 189-225 (2007) - 2005
- [j15]Jan von Plato:
A Constructive Approach to Sylvester's Conjecture. J. Univers. Comput. Sci. 11(12): 2165-2178 (2005) - [j14]Jan von Plato:
Normal derivability in modal logic. Math. Log. Q. 51(6): 632-638 (2005) - [p1]Sara Negri, Jan von Plato:
The duality of lcassical and constructive notions and proofs. From sets and types to topology and analysis 2005 - 2004
- [j13]Sara Negri, Jan von Plato, Thierry Coquand:
Proof-theoretical analysis of order relations. Arch. Math. Log. 43(3): 297-310 (2004) - [j12]Sara Negri, Jan von Plato:
Proof systems for lattice theory. Math. Struct. Comput. Sci. 14(4): 507-526 (2004) - 2003
- [j11]Jan von Plato:
Translations from natural deduction to sequent calculus. Math. Log. Q. 49(5): 435-443 (2003) - [j10]Jan von Plato:
Skolem's Discovery of Gödel-Dummett Logic. Stud Logica 73(1): 153-157 (2003) - [j9]Jan von Plato:
Rereading Gentzen. Synth. 137(1-2): 195-209 (2003) - 2001
- [b1]Sara Negri, Jan von Plato:
Structural proof theory. Cambridge University Press 2001, ISBN 978-0-521-79307-0, pp. I-XVII, 1-257 - [j8]Jan von Plato:
A proof of Gentzen's Hauptsatz without multicut. Arch. Math. Log. 40(1): 9-18 (2001) - [j7]Jan von Plato:
Natural deduction with general elimination rules. Arch. Math. Log. 40(7): 541-567 (2001) - [j6]Sara Negri, Jan von Plato:
Sequent Calculus in Natural Deduction Style. J. Symb. Log. 66(4): 1803-1816 (2001) - 2000
- [j5]Jan von Plato:
A Problem of Normal Form in Natural Deduction. Math. Log. Q. 46(1): 121-124 (2000)
1990 – 1999
- 1999
- [j4]Jan von Plato:
Order in open intervals of computable reals. Math. Struct. Comput. Sci. 9(1): 103-108 (1999) - 1998
- [j3]Sara Negri, Jan von Plato:
Cut elimination in the presence of axioms. Bull. Symb. Log. 4(4): 418-435 (1998) - [c2]Sara Negri, Jan von Plato:
From Kripke Models to Algebraic Counter-Valuations. TABLEAUX 1998: 247-261 - 1997
- [j2]Jan von Plato:
Formalization of Hilbert's Geometry of incidence and Parallelism. Synth. 110(1): 127-141 (1997) - 1995
- [j1]Jan von Plato:
The Axioms of Constructive Geometry. Ann. Pure Appl. Log. 76(2): 169-200 (1995) - [c1]Jan von Plato:
Organization and Development of a Constructive Axiomatization. TYPES 1995: 288-296
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
