Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Weak_interpretability> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Weak_interpretability abstract "In mathematical logic, weak interpretability is a notion of translation of logical theories, introduced together with interpretability by Alfred Tarski in 1953.Assume T and S are formal theories. Slightly simplified, T is said to be weakly interpretable in S if, and only if, the language of T can be translated into the language of S in such a way that the translation of every theorem of T is consistent with S. Of course, there are some natural conditions on admissible translations here, such as the necessity for a translation to preserve the logical structure of formulas.A generalization of weak interpretability, tolerance, was introduced by Giorgi Japaridze in 1992.".
- Weak_interpretability wikiPageID "655334".
- Weak_interpretability wikiPageLength "2349".
- Weak_interpretability wikiPageOutDegree "15".
- Weak_interpretability wikiPageRevisionID "612106359".
- Weak_interpretability wikiPageWikiLink Alfred_Tarski.
- Weak_interpretability wikiPageWikiLink Andrzej_Mostowski.
- Weak_interpretability wikiPageWikiLink Category:Proof_theory.
- Weak_interpretability wikiPageWikiLink Formula.
- Weak_interpretability wikiPageWikiLink Giorgi_Japaridze.
- Weak_interpretability wikiPageWikiLink Interpretability.
- Weak_interpretability wikiPageWikiLink Interpretability_logic.
- Weak_interpretability wikiPageWikiLink Language.
- Weak_interpretability wikiPageWikiLink Logic.
- Weak_interpretability wikiPageWikiLink Mathematical_logic.
- Weak_interpretability wikiPageWikiLink Raphael_M._Robinson.
- Weak_interpretability wikiPageWikiLink Theorem.
- Weak_interpretability wikiPageWikiLink Theory_(mathematical_logic).
- Weak_interpretability wikiPageWikiLink Tolerant_sequence.
- Weak_interpretability wikiPageWikiLink Translation.
- Weak_interpretability wikiPageWikiLinkText "Weak interpretability".
- Weak_interpretability wikiPageWikiLinkText "weak interpretability".
- Weak_interpretability wikiPageUsesTemplate Template:Citation.
- Weak_interpretability subject Category:Proof_theory.
- Weak_interpretability hypernym Notion.
- Weak_interpretability type Country.
- Weak_interpretability type Proof.
- Weak_interpretability comment "In mathematical logic, weak interpretability is a notion of translation of logical theories, introduced together with interpretability by Alfred Tarski in 1953.Assume T and S are formal theories. Slightly simplified, T is said to be weakly interpretable in S if, and only if, the language of T can be translated into the language of S in such a way that the translation of every theorem of T is consistent with S.".
- Weak_interpretability label "Weak interpretability".
- Weak_interpretability sameAs Q7977955.
- Weak_interpretability sameAs m.0301p9.
- Weak_interpretability sameAs Q7977955.
- Weak_interpretability wasDerivedFrom Weak_interpretability?oldid=612106359.
- Weak_interpretability isPrimaryTopicOf Weak_interpretability.