skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Index

41 Results  for Everything (Includes Articles)

Show only
Refined by: author/creator: Von Plato, Jan remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to e-Shelf

Gödel, Gentzen, Goodstein: The Magic Sound of a G-String

Plato, Jan

The Mathematical Intelligencer, 2014, Vol.36(4), pp.22-27 [Peer Reviewed Journal]

Full text available

View all versions
2
Material Type:
Article
Add to e-Shelf

From Axiomatic Logic to Natural Deduction

Plato, Jan

Studia Logica, 2014, Vol.102(6), pp.1167-1184 [Peer Reviewed Journal]

Full text available

3
Material Type:
Article
Add to e-Shelf

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

Von Plato, Jan

Indagationes Mathematicae, December 2018, Vol.29(6), pp.1546-1554 [Peer Reviewed Journal]

Full text available

4
Material Type:
Article
Add to e-Shelf

Martin Davis on Computability, Computational Logic, and Mathematical Foundations by E. Omodeo and A. Policriti (eds.)

Jan Von Plato

Mathematical Intelligencer, May 2018, pp.1-3 [Peer Reviewed Journal]

Full text available

5
Material Type:
Article
Add to e-Shelf

GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 December 2014, Vol.20(4), pp.417-448 [Peer Reviewed Journal]

Full text available

6
Material Type:
Article
Add to e-Shelf

Combinatorial analysis of proofs in projective and affine geometry

Von Plato, Jan

Annals of Pure and Applied Logic, 2010, Vol.162(2), pp.144-161 [Peer Reviewed Journal]

Full text available

7
Real numbers and projective spaces: Intuitionistic reasoning with undecidable basic relations
Material Type:
Article
Add to e-Shelf

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

Von Plato, Jan

Indagationes Mathematicae, 12/2018, Vol.29(6), pp.1546-1554 [Peer Reviewed Journal]

Full text available

8
Combinatorial analysis of proofs in projective and affine geometry
Material Type:
Article
Add to e-Shelf

Combinatorial analysis of proofs in projective and affine geometry

Von Plato, Jan

Annals of Pure and Applied Logic, 11/2010, Vol.162(2), pp.144-161 [Peer Reviewed Journal]

Full text available

9
Material Type:
Article
Add to e-Shelf

Rereading Gentzen

Von Plato, Jan

Synthese, 2003, Vol.137(1), pp.195-209 [Peer Reviewed Journal]

Full text available

View all versions
10
Material Type:
Article
Add to e-Shelf

Skolem's Discovery of Gödel-Dummett Logic

von Plato, Jan

Studia Logica, 2003, Vol.73(1), pp.153-157 [Peer Reviewed Journal]

Full text available

View all versions
11
Material Type:
Article
Add to e-Shelf

Translations from natural deduction to sequent calculus

Von Plato, Jan

Mathematical Logic Quarterly, September 2003, Vol.49(5), pp.435-443 [Peer Reviewed Journal]

Full text available

12
Material Type:
Article
Add to e-Shelf

A Problem of Normal Form in Natural Deduction

Von Plato, Jan

Mathematical Logic Quarterly, January 2000, Vol.46(1), pp.121-124 [Peer Reviewed Journal]

Full text available

13
Material Type:
Article
Add to e-Shelf

FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISM

Plato, JAN

Synthese, 1997, Vol.110(1), pp.127-141 [Peer Reviewed Journal]

Full text available

View all versions
14
Translations from natural deduction to sequent calculus
Material Type:
Article
Add to e-Shelf

Translations from natural deduction to sequent calculus

Von Plato, Jan

MLQ, 9/2003, Vol.49(5), pp.435-443 [Peer Reviewed Journal]

Full text available

15
Material Type:
Article
Add to e-Shelf

Probability and Determinism

Von Plato, Jan

Philosophy of Science, 1 March 1982, Vol.49(1), pp.51-66 [Peer Reviewed Journal]

Full text available

16
Material Type:
Article
Add to e-Shelf

The Method of Arbitrary Functions

Von Plato, Jan

The British Journal for the Philosophy of Science, 1 March 1983, Vol.34(1), pp.37-47 [Peer Reviewed Journal]

Full text available

17
Material Type:
Article
Add to e-Shelf

de Finetti's Earliest Works on the Foundations of Probability

Von Plato, Jan

Erkenntnis (1975-), 1 September 1989, Vol.31(2/3), pp.263-282 [Peer Reviewed Journal]

Full text available

18
A Problem of Normal Form in Natural Deduction
Material Type:
Article
Add to e-Shelf

A Problem of Normal Form in Natural Deduction

Von Plato, Jan

MLQ, 1/2000, Vol.46(1), pp.121-124 [Peer Reviewed Journal]

Full text available

19
Material Type:
Article
Add to e-Shelf

The Generalization of de Finetti's Representation Theorem to Stationary Probabilities

Von Plato, Jan

PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1 January 1982, Vol.1982, pp.137-144

Full text available

20
Material Type:
Article
Add to e-Shelf

Probabilistic Causality, Randomization and Mixtures

Von Plato, Jan

PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1 January 1986, Vol.1986, pp.432-437

Full text available

21
Material Type:
Article
Add to e-Shelf

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, and Charles L. Harper, Jr. (eds.)

Plato, Jan

The Mathematical Intelligencer, 2013, Vol.35(2), pp.70-73 [Peer Reviewed Journal]

Full text available

View all versions
22
Material Type:
Article
Add to e-Shelf

Elements of Logical Reasoning

Von Plato, Jan

Mathematical Intelligencer, Vol.37(2), p.108 [Peer Reviewed Journal]

Summer 2015

Full text available

View all versions
23
Material Type:
Article
Add to e-Shelf

GENTZEN'S PROOF SYSTEMS: BYPRODUCTS IN A WORK OF GENIUS

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 September 2012, Vol.18(3), pp.313-367 [Peer Reviewed Journal]

Full text available

24
Material Type:
Article
Add to e-Shelf

KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION

Jan Von Plato

The Bulletin of Symbolic Logic, Sep 2018, Vol.24(3), pp.319-335 [Peer Reviewed Journal]

Full text available

25
Material Type:
Article
Add to e-Shelf

Normal derivability in modal logic

Von Plato, Jan

Mathematical Logic Quarterly, November 2005, Vol.51(6), pp.632-638 [Peer Reviewed Journal]

Full text available

View all versions
26
Material Type:
Article
Add to e-Shelf

In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 June 2007, Vol.13(2), pp.189-225 [Peer Reviewed Journal]

Full text available

27
Material Type:
Article
Add to e-Shelf

Sequent Calculus in Natural Deduction Style

Negri, Sara ; Von Plato, Jan

The Journal of Symbolic Logic, 1 December 2001, Vol.66(4), pp.1803-1816 [Peer Reviewed Journal]

Full text available

28
Material Type:
Article
Add to e-Shelf

Gentzen's Proof of Normalization for Natural Deduction

Von Plato, Jan ; Gentzen, G. ; Jan Von Plato ; G. Gentzen

The Bulletin of Symbolic Logic, 1 June 2008, Vol.14(2), pp.240-257 [Peer Reviewed Journal]

Full text available

29
Material Type:
Article
Add to e-Shelf

The axioms of constructive geometry

Von Plato, Jan

Annals of Pure and Applied Logic, 1995, Vol.76(2), pp.169-200 [Peer Reviewed Journal]

Full text available

View all versions
30
Material Type:
Article
Add to e-Shelf

The significance of the ergodic decomposition of stationary measures for the interpretation of probability

Plato, Jan

Synthese, 1982, Vol.53(3), pp.419-432 [Peer Reviewed Journal]

Full text available

View all versions
31
Material Type:
Article
Add to e-Shelf

Reductive relations in interpretations of probability

Plato, Jan

Synthese, 1981, Vol.48(1), pp.61-75 [Peer Reviewed Journal]

Full text available

View all versions
32
Material Type:
Article
Add to e-Shelf

De Finetti's earliest works on the foundations of probability

Plato, Jan

Erkenntnis, 1989, Vol.31(2), pp.263-282 [Peer Reviewed Journal]

Full text available

33
Material Type:
Article
Add to e-Shelf

On partial exchangeability as a generalization of symmetry principles

Plato, Jan

Erkenntnis, 1981, Vol.16(1), pp.53-59 [Peer Reviewed Journal]

Full text available

View all versions
34
Material Type:
Article
Add to e-Shelf

Finite partial exchangeability

Von Plato, Jan

Statistics and Probability Letters, 1991, Vol.11(2), pp.99-102 [Peer Reviewed Journal]

Full text available

View all versions
35
Material Type:
Article
Add to e-Shelf

Cut Elimination in the Presence of Axioms

Negri, Sara ; Von Plato, Jan

The Bulletin of Symbolic Logic, 1 December 1998, Vol.4(4), pp.418-435 [Peer Reviewed Journal]

Full text available

36
Material Type:
Review
Add to e-Shelf

David Hilbert's lectures on the foundations of arithmetic and logic 1917–1933 (Book Review)

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 September 2014, Vol.20(3), pp.363-365 [Peer Reviewed Journal]

Full text available

37
Material Type:
Review
Add to e-Shelf

David Hilbert's Lectures on the Foundations of Geometry 1891-1902 (Book Review)

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 September 2006, Vol.12(3), pp.492-494 [Peer Reviewed Journal]

Full text available

38
Material Type:
Review
Add to e-Shelf

Kurt Gödel Collected Works IV-V: Correspondence (Book Review)

Von Plato, Jan

The Bulletin of Symbolic Logic, 1 December 2004, Vol.10(4), pp.558-563 [Peer Reviewed Journal]

Full text available

39