Talk:Analytic proof

Some tasks
Should add: --- Charles Stewart (talk) 10:41, 25 February 2009 (UTC)
 * 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.

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)

Two unconnected bits
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)