Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Craig_interpolation> ?p ?o }
Showing triples 1 to 87 of
87
with 100 triples 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 ψ, and the two have at least one atomic variable symbol in common, 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 wikiPageLength "6955".
- Craig_interpolation wikiPageOutDegree "43".
- Craig_interpolation wikiPageRevisionID "669824657".
- Craig_interpolation wikiPageWikiLink Abstract_algebraic_logic.
- Craig_interpolation wikiPageWikiLink Algorithm.
- Craig_interpolation wikiPageWikiLink Amalgamation_(model_theory).
- Craig_interpolation wikiPageWikiLink Big_O_Notation.
- Craig_interpolation wikiPageWikiLink Big_O_notation.
- Craig_interpolation wikiPageWikiLink Cambridge_University_Press.
- Craig_interpolation wikiPageWikiLink Category:Lemmas.
- Craig_interpolation wikiPageWikiLink Category:Mathematical_logic.
- Craig_interpolation wikiPageWikiLink Clarendon_Press.
- Craig_interpolation wikiPageWikiLink Compactness_theorem.
- Craig_interpolation wikiPageWikiLink Conjunctive_normal_form.
- Craig_interpolation wikiPageWikiLink Consistency.
- Craig_interpolation wikiPageWikiLink Consistency_proof.
- Craig_interpolation wikiPageWikiLink Constructive_proof.
- Craig_interpolation wikiPageWikiLink Cut-elimination_theorem.
- Craig_interpolation wikiPageWikiLink Cut_elimination.
- Craig_interpolation wikiPageWikiLink Entailment.
- Craig_interpolation wikiPageWikiLink First-order_logic.
- Craig_interpolation wikiPageWikiLink Intuitionistic_logic.
- Craig_interpolation wikiPageWikiLink Logical_connective.
- Craig_interpolation wikiPageWikiLink Logical_consequence.
- Craig_interpolation wikiPageWikiLink Mathematical_logic.
- Craig_interpolation wikiPageWikiLink Modal_logic.
- Craig_interpolation wikiPageWikiLink Modal_μ-calculus.
- Craig_interpolation wikiPageWikiLink Model_checking.
- Craig_interpolation wikiPageWikiLink Model_theory.
- Craig_interpolation wikiPageWikiLink Modular_programming.
- Craig_interpolation wikiPageWikiLink Modularity_(programming).
- Craig_interpolation wikiPageWikiLink Mu_calculus.
- Craig_interpolation wikiPageWikiLink Non-constructive.
- Craig_interpolation wikiPageWikiLink Ontology_(computer_science).
- Craig_interpolation wikiPageWikiLink Ontology_(information_science).
- Craig_interpolation wikiPageWikiLink Oxford_University_Press.
- Craig_interpolation wikiPageWikiLink Positive_occurrence.
- Craig_interpolation wikiPageWikiLink Proof_theory.
- Craig_interpolation wikiPageWikiLink Propositional_calculus.
- Craig_interpolation wikiPageWikiLink Propositional_logic.
- Craig_interpolation wikiPageWikiLink Propositional_variable.
- Craig_interpolation wikiPageWikiLink Robinsons_joint_consistency_theorem.
- Craig_interpolation wikiPageWikiLink Roger_Lyndon.
- Craig_interpolation wikiPageWikiLink Sequent_calculus.
- Craig_interpolation wikiPageWikiLink Signature_(logic).
- Craig_interpolation wikiPageWikiLink Signature_(mathematical_logic).
- Craig_interpolation wikiPageWikiLink Specification_language.
- Craig_interpolation wikiPageWikiLink Subformula_property.
- Craig_interpolation wikiPageWikiLink Tautological_implication.
- Craig_interpolation wikiPageWikiLink Tautology_(logic).
- Craig_interpolation wikiPageWikiLink Theory_(mathematical_logic).
- Craig_interpolation wikiPageWikiLink Variety_(universal_algebra).
- Craig_interpolation wikiPageWikiLink Well-formed_formula.
- Craig_interpolation wikiPageWikiLink Well_formed_formula.
- Craig_interpolation wikiPageWikiLink William_Craig_(logician).
- Craig_interpolation wikiPageWikiLink William_Craig_(philosopher).
- Craig_interpolation wikiPageWikiLinkText "Craig interpolation lemma".
- Craig_interpolation wikiPageWikiLinkText "Craig interpolation".
- Craig_interpolation wikiPageWikiLinkText "Craig's interpolation theorem".
- Craig_interpolation wikiPageWikiLinkText "Craig–Lyndon interpolation theorem".
- Craig_interpolation wikiPageWikiLinkText "Craig–Lyndon interpolation".
- Craig_interpolation wikiPageWikiLinkText "interpolants".
- Craig_interpolation wikiPageWikiLinkText "interpolation theorem".
- Craig_interpolation wikiPageWikiLinkText "interpolation".
- Craig_interpolation hasPhotoCollection Craig_interpolation.
- Craig_interpolation wikiPageUsesTemplate Template:Cite_book.
- Craig_interpolation wikiPageUsesTemplate Template:EqNote.
- Craig_interpolation wikiPageUsesTemplate Template:NumBlk.
- Craig_interpolation subject Category:Lemmas.
- Craig_interpolation subject Category:Mathematical_logic.
- Craig_interpolation hypernym Result.
- Craig_interpolation type Field.
- Craig_interpolation type Lemma.
- Craig_interpolation type Theorem.
- 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 ψ, and the two have at least one atomic variable symbol in common, 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.".
- Craig_interpolation label "Craig interpolation".
- 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 wasDerivedFrom Craig_interpolation?oldid=669824657.
- Craig_interpolation isPrimaryTopicOf Craig_interpolation.