Talk:Analytic proof
Add topicLatest comment: 7 years ago by 31.52.254.181 in topic Two unconnected bits
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
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)
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
[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)