This HTML5 document contains 92 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n16https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Craig_interpolation
rdf:type
yago:Communication100033020 yago:Theorem106752293 yago:WikicatLemmas yago:Statement106722453 yago:Proposition106750804 yago:WikicatMathematicalTheorems yago:Message106598915 yago:Lemma106751833 yago:Abstraction100002137
rdfs:label
크레이그의 보간 정리 Craig-Interpolation Craig interpolation クレイグの補間定理 Théorème d'interpolation de Craig Twierdzenie Craiga
rdfs:comment
En logique mathématique, le théorème d'interpolation de Craig dit que si une formule φ en implique une deuxième ψ, et que φ et ψ partagent au moins un symbole non logique en commun, alors il existe une formule ρ, appelée interpolant, telle que : * φ implique ρ ; * ρ implique ψ ; * tout symbole non logique dans ρ apparaît à la fois dans φ et ψ. Die Craig-Interpolation ist ein Ausdruck der Logik. Der zugrunde liegende Satz (Craig’s Lemma, Interpolationstheorem) lautet folgendermaßen: Es seien und zwei Theorien und der Satz sei ein in ableitbarer Satz. Dann gilt: Es gibt ein , sodass in ableitbar ist, und ist in ableitbar. クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。William Craig が1957年、一階述語論理について証明したのが最初である。クレイグの補題とも。 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 ψ, and the two have at least one atomic variable symbol in common, then there is a formula ρ, called an interpolant, such that every non-logical 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 interpolation theorem for first-order logic was proved by Roger Lyndon in 1959; the overall result is sometimes called the Craig–Lyndon theorem. 크레이그의 보간 정리(Craig's interpolation theorem, -補間 定理)는 증명 이론의 정리로, 미국의 철학자이자 논리학자인 가 제시하였다. 간단히 말해 다음과 같이 쓸 수 있다. * 어떤 논리식 a에서 다른 논리식 b를 추론할 수 있다고 하자. 그러면, c에서 나타나는 모든 는 a와 b 각각에서도 나타나는 제3의 논리식 c가 존재하여 a에서 c를 추론할 수 있고, 다시 c에서 b를 추론할 수 있다. 이 c를 보간(interpolant)이라 한다. 크레이그는 1957년 이 정리를 일차 논리학에 대해 증명하였다. 미국 수학자 이 일차 논리학에 대한 이 정리의 보다 강한 판본을 1959년 증명하였으므로 이 둘을 합쳐 크레이그-린든 정리라 부르기도 한다. Twierdzenie Craiga – twierdzenie logiki, a w szczególności rachunku predykatów pierwszego rzędu. Udowodnione przez (ang.), amerykańskiego logika.
dcterms:subject
dbc:Mathematical_logic dbc:Lemmas
dbo:wikiPageID
2056790
dbo:wikiPageRevisionID
1059769235
dbo:wikiPageWikiLink
dbr:Subformula_property dbr:First-order_logic dbc:Mathematical_logic dbr:Intuitionistic_logic dbr:Amalgamation_property dbr:Propositional_variable dbr:Dov_M._Gabbay dbr:Compactness_theorem dbr:Conjunctive_normal_form dbr:Non-constructive dbr:Cut_elimination dbr:Algorithm dbr:Roger_Lyndon dbr:Signature_(mathematical_logic) dbr:Specification_language dbr:Propositional_logic dbr:Positive_occurrence dbr:Consistency_proof dbr:Big_O_Notation dbr:Variety_(universal_algebra) dbr:Mathematical_logic dbr:Theory_(mathematical_logic) dbr:Tautological_implication dbr:Modal_logic dbr:Abstract_algebraic_logic dbr:Robinson's_joint_consistency_theorem dbr:Cambridge_University_Press dbr:Logical_connective dbr:Model_checking dbc:Lemmas dbr:Clarendon_Press dbr:Model_theory dbr:Ontology_(computer_science) dbr:Entailment dbr:Mu_calculus dbr:Non-logical_symbol dbr:Sequent_calculus dbr:Proof_theory dbr:Well_formed_formula dbr:Constructive_proof dbr:William_Craig_(logician) dbr:Modularity_(programming)
owl:sameAs
dbpedia-ko:크레이그의_보간_정리 dbpedia-ja:クレイグの補間定理 freebase:m.06j1b1 wikidata:Q1052021 n16:8Stv dbpedia-pl:Twierdzenie_Craiga dbpedia-fr:Théorème_d'interpolation_de_Craig dbpedia-de:Craig-Interpolation yago-res:Craig_interpolation
dbp:wikiPageUsesTemplate
dbt:EquationRef dbt:NumBlk dbt:Cite_book dbt:= dbt:EqNote dbt:Abs
dbo:abstract
Die Craig-Interpolation ist ein Ausdruck der Logik. Der zugrunde liegende Satz (Craig’s Lemma, Interpolationstheorem) lautet folgendermaßen: Es seien und zwei Theorien und der Satz sei ein in ableitbarer Satz. Dann gilt: Es gibt ein , sodass in ableitbar ist, und ist in ableitbar. Twierdzenie Craiga – twierdzenie logiki, a w szczególności rachunku predykatów pierwszego rzędu. Udowodnione przez (ang.), amerykańskiego logika. 크레이그의 보간 정리(Craig's interpolation theorem, -補間 定理)는 증명 이론의 정리로, 미국의 철학자이자 논리학자인 가 제시하였다. 간단히 말해 다음과 같이 쓸 수 있다. * 어떤 논리식 a에서 다른 논리식 b를 추론할 수 있다고 하자. 그러면, c에서 나타나는 모든 는 a와 b 각각에서도 나타나는 제3의 논리식 c가 존재하여 a에서 c를 추론할 수 있고, 다시 c에서 b를 추론할 수 있다. 이 c를 보간(interpolant)이라 한다. 크레이그는 1957년 이 정리를 일차 논리학에 대해 증명하였다. 미국 수학자 이 일차 논리학에 대한 이 정리의 보다 강한 판본을 1959년 증명하였으므로 이 둘을 합쳐 크레이그-린든 정리라 부르기도 한다. クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。William Craig が1957年、一階述語論理について証明したのが最初である。クレイグの補題とも。 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 ψ, and the two have at least one atomic variable symbol in common, then there is a formula ρ, called an interpolant, such that every non-logical 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 interpolation theorem for first-order logic was proved by Roger Lyndon in 1959; the overall result is sometimes called the Craig–Lyndon theorem. En logique mathématique, le théorème d'interpolation de Craig dit que si une formule φ en implique une deuxième ψ, et que φ et ψ partagent au moins un symbole non logique en commun, alors il existe une formule ρ, appelée interpolant, telle que : * φ implique ρ ; * ρ implique ψ ; * tout symbole non logique dans ρ apparaît à la fois dans φ et ψ.
gold:hypernym
dbr:Result
prov:wasDerivedFrom
wikipedia-en:Craig_interpolation?oldid=1059769235&ns=0
dbo:wikiPageLength
8193
foaf:isPrimaryTopicOf
wikipedia-en:Craig_interpolation