Analytic proof

Analytic proof

In structural proof theory, an analytical proof is a proof whose structure is simple in a special way. The term does not admit an uncontroversial definition, but for several proof calculi there is an accepted notion of analytic proof. For example:

* In Gentzen's natural deduction calculus the analytic proofs are those in normal form; that is, no formula occurrence is both the principal premise of an elimination rule and the conclusion of an introduction rule;
* In Gentzen's sequent calculus the analytic proofs are those that do not use the cut rule.

However it is possible to extend both calculi so that there are proofs that satisfy the condition but are not analytic: a particularly tricky example of this is the "analytic cut rule": this is a special case of the cut rule where the cut formula is a subformula of side formulae of the cut rule; a proof that contains an analytic cut is by virtue of that rule not analytic.

ee also

* Proof-theoretic semantics


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… …   Wikipedia

  • Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… …   Wikipedia

  • Analytic — See also: Analysis Contents 1 Natural sciences 2 Philosophy 3 Social sciences …   Wikipedia

  • analytic philosophy — n. a 20th cent. philosophic movement characterized by its method of analyzing concepts and statements in the light of common experience and ordinary language so as to eliminate confusions of thought and resolve many traditional philosophical… …   Universalium

  • Analytic number theory — In mathematics, analytic number theory is a branch of number theory that uses methods from mathematical analysis to solve number theoretical problems. [Page 7 of Apostol 1976] It is often said to have begun with Dirichlet s introduction of… …   Wikipedia

  • Analytic geometry — Cartesian coordinates. Analytic geometry, or analytical geometry has two different meanings in mathematics. The modern and advanced meaning refers to the geometry of analytic varieties. This article focuses on the classical and elementary meaning …   Wikipedia

  • Analytic continuation — In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a new region where …   Wikipedia

  • Analytic set — This article is about analytic sets as defined in descriptive set theory. There is another notion in the context of analytic varieties. In descriptive set theory, a subset of a Polish space X is an analytic set if it is a continuous image of a… …   Wikipedia

  • Analytic capacity — In complex analysis, the analytic capacity of a compact subset K of the complex plane is a number that denotes how big a bounded analytic function from mathbb{C}setminus E can become. Roughly speaking, gamma(E) measures the size of the unit ball… …   Wikipedia

  • Proof that holomorphic functions are analytic — In complex analysis, a field of mathematics, a complex valued function f of a complex variable z *is holomorphic at a point a iff it is differentiable at every point within some open disk centered at a , and* is analytic at a if in some open disk …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”