Talk:Analytic proof

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Low	This article has been rated as Low-priority on the project's priority scale.

Philosophy: Logic Low‑importance

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy

Low

This article has been rated as Low-importance on the project's importance scale.

Associated task forces:
/
	Logic

Some tasks

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

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]