Talk:Analytic proof

Latest comment: 5 years ago by 31.52.254.181 in topic Two unconnected bits

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