Jan von Plato - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2018

Kurt Gödel's First Steps in Logic: Formal Proofs in Arithmetic and Set Theory through a System of Natural DeductionJan von Plato. bsl, 24(3):319-335, 2018. [doi]

2016

Explicit Composition and Its Application in Proofs of NormalizationJan von Plato. In Thomas Piecha, Peter Schroeder-Heister, editors, Advances in Proof-Theoretic Semantics. Volume 43 of Trends in Logic, pages 139-152, Springer, 2016. [doi]

2015

In Search of the Roots of Formal ComputationJan von Plato. hapoc 2016: 300-320 [doi]

2014

Proof Analysis - A Contribution to Hilbert's Last ProblemSara Negri, Jan von Plato. Cambridge University Press, 2014. [doi]

From Axiomatic Logic to Natural DeductionJan von Plato. sLogica, 102(6):1167-1184, 2014. [doi]

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 ppJan von Plato. bsl, 20(3):363-365, 2014. [doi]

Generality and existence: Quantificational Logic in Historical PerspectiveJan von Plato. bsl, 20(4):417-448, 2014. [doi]

2012

Gentzen's proof systems: byproducts in a work of geniusJan von Plato. bsl, 18(3):313-367, 2012. [doi]

Normal Derivability in Classical Natural DeductionJan von Plato, Annika Siders. rsl, 5(2):205-211, 2012. [doi]

2011

A Sequent Calculus isomorphic to Gentzen's Natural DeductionJan von Plato. rsl, 4(1):43-53, 2011. [doi]

2010

Combinatorial analysis of proofs in projective and affine geometryJan von Plato. APAL, 162(2):144-161, 2010. [doi]

2009

Gentzen's LogicJan von Plato. In Dov M. Gabbay, John Woods, editors, Logic from Russell to Church. Volume 5 of Handbook of the History of Logic, pages 667-721, Elsevier, 2009. [doi]

2008

Gentzen s Proof of Normalization for Natural DeductionJan von Plato. bsl, 14(2):240-257, 2008. [doi]

2007

In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical ProofsJan von Plato. bsl, 13(2):189-225, 2007. [doi]

2005

The duality of lcassical and constructive notions and proofsSara Negri, Jan von Plato. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

Normal derivability in modal logicJan von Plato. mlq, 51(6):632-638, 2005. [doi]

A Constructive Approach to Sylvester s ConjectureJan von Plato. jucs, 11(12):2165-2178, 2005. [doi]

2004

Proof systems for lattice theorySara Negri, Jan von Plato. mscs, 14(4):507-526, 2004. [doi]

Proof-theoretical analysis of order relationsSara Negri, Jan von Plato, Thierry Coquand. AML, 43(3):297-310, 2004. [doi]

2003

Translations from natural deduction to sequent calculusJan von Plato. mlq, 49(5):435-443, 2003. [doi]

Skolem s Discovery of Gödel-Dummett LogicJan von Plato. sLogica, 73(1):153-157, 2003.

Rereading GentzenJan von Plato. synthese, 137(1-2):195-209, 2003. [doi]

2001

Sequent Calculus in Natural Deduction StyleSara Negri, Jan von Plato. JSYML, 66(4):1803-1816, 2001.

Structural proof theorySara Negri, Jan von Plato. Cambridge University Press, 2001.

A proof of Gentzen s Hauptsatz without multicutJan von Plato. AML, 40(1):9-18, 2001. [doi]

Natural deduction with general elimination rulesJan von Plato. AML, 40(7):541-567, 2001. [doi]

2000

A Problem of Normal Form in Natural DeductionJan von Plato. mlq, 46(1):121-124, 2000. [doi]

1999

Order in open intervals of computable realsJan von Plato. mscs, 9(1):103-108, 1999.

1998

From Kripke Models to Algebraic Counter-ValuationsSara Negri, Jan von Plato. tableaux 1998: 247-261 [doi]

Cut elimination in the presence of axiomsSara Negri, Jan von Plato. bsl, 4(4):418-435, 1998. [doi]

1997

Formalization of Hilbert's Geometry of incidence and ParallelismJan von Plato. synthese, 110(1):127-141, 1997. [doi]

1995

Organization and Development of a Constructive AxiomatizationJan von Plato. TYPES 1996: 288-296 [doi]

The Axioms of Constructive GeometryJan von Plato. APAL, 76(2):169-200, 1995.

Sign in or sign up to see more results.

runs on WebDSL