Jump to content

Talk:Analytic proof

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Some tasks

[edit]

Should add:

  • Why is analytic proof interesting?
  • Analytic proof in other systems;
  • Explain the connection to proof-theoretic semantics;
  • Talk about translations between notions of analytic proof, and the notion of richness of analytic proof.

--- Charles Stewart(talk) 10:41, 25 February 2009 (UTC)[reply]

In reference to analytic proof systems, the description in this article seems rather confusing and indirect. The term "analytic proof system" was used by Smullyan in the preface of his First-Order Logic book (1968). There he means any proof system that satisfies the subformula proporty. Cut-free proofs are an example: many others are as well. Seems like a good definition and reference to make here. --Dale Miller 129.104.11.1 (talk) 13:39, 7 April 2010 (UTC)[reply]

Two unconnected bits

[edit]

Analytic proof in mathematics and analytic proof in proof theory are different and indeed unconnected with one another! 31.52.254.181 (talk) 20:14, 29 March 2019 (UTC)[reply]