Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Craig_interpolation> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- Craig_interpolation abstract "In mathematical logic, Craig's interpolation theorem is a result about the relationship between different logical theories. Roughly stated, the theorem says that if a formula φ implies a formula ψ then there is a third formula ρ, called an interpolant, such that every nonlogical symbol in ρ occurs both in φ and ψ, φ implies ρ, and ρ implies ψ. The theorem was first proved for first-order logic by William Craig in 1957. Variants of the theorem hold for other logics, such as propositional logic. A stronger form of Craig's theorem for first-order logic was proved by Roger Lyndon in 1959; the overall result is sometimes called the Craig–Lyndon theorem.".
- Craig_interpolation wikiPageID "2056790".
- Craig_interpolation wikiPageRevisionID "571885851".
- Craig_interpolation hasPhotoCollection Craig_interpolation.
- Craig_interpolation subject Category:Lemmas.
- Craig_interpolation subject Category:Mathematical_logic.
- Craig_interpolation type Abstraction100002137.
- Craig_interpolation type Communication100033020.
- Craig_interpolation type Lemma106751833.
- Craig_interpolation type Lemmas.
- Craig_interpolation type Message106598915.
- Craig_interpolation type Proposition106750804.
- Craig_interpolation type Statement106722453.
- Craig_interpolation comment "In mathematical logic, Craig's interpolation theorem is a result about the relationship between different logical theories. Roughly stated, the theorem says that if a formula φ implies a formula ψ then there is a third formula ρ, called an interpolant, such that every nonlogical symbol in ρ occurs both in φ and ψ, φ implies ρ, and ρ implies ψ. The theorem was first proved for first-order logic by William Craig in 1957. Variants of the theorem hold for other logics, such as propositional logic.".
- Craig_interpolation label "Craig interpolation".
- Craig_interpolation label "Craig-Interpolation".
- Craig_interpolation label "Twierdzenie Craiga".
- Craig_interpolation label "クレイグの補間定理".
- Craig_interpolation sameAs Craig-Interpolation.
- Craig_interpolation sameAs クレイグの補間定理.
- Craig_interpolation sameAs 크레이그의_보간_정리.
- Craig_interpolation sameAs Twierdzenie_Craiga.
- Craig_interpolation sameAs m.06j1b1.
- Craig_interpolation sameAs Q1052021.
- Craig_interpolation sameAs Q1052021.
- Craig_interpolation sameAs Craig_interpolation.
- Craig_interpolation wasDerivedFrom Craig_interpolation?oldid=571885851.
- Craig_interpolation isPrimaryTopicOf Craig_interpolation.