Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Weak_interpretability> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items 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 wikiPageRevisionID "535948895".
- Weak_interpretability hasPhotoCollection Weak_interpretability.
- Weak_interpretability subject Category:Proof_theory.
- 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 m.0301p9.
- Weak_interpretability sameAs Q7977955.
- Weak_interpretability sameAs Q7977955.
- Weak_interpretability wasDerivedFrom Weak_interpretability?oldid=535948895.
- Weak_interpretability isPrimaryTopicOf Weak_interpretability.