Weak interpretability

Weak interpretability

Weak interpretability is a special case of the concept of tolerance introduced by Giorgi Japaridze in 1992.

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.

This concept, together with interpretability, was introduced by Alfred Tarski in 1953.

See also Interpretability logic.

References

* A.Tarski, A.Mostovski and R.M.Robinson, Undecidable Theories. North-Holland, Amsterdam, 1953.
* [http://www.csc.villanova.edu/~japaridz/ G.Japaridze] , "A generalized notion of weak interpretability and the corresponding logic". Annals of Pure and Applied Logic 61 (1993), pp. 113-160.
* [http://www.csc.villanova.edu/~japaridz/ G.Japaridze] , "The logic of linear tolerance". Studia Logica 51 (1992), pp. 249-277.
* [http://www.csc.villanova.edu/~japaridz/ G.Japaridze] and D. de Jongh, "The logic of provability". Handbook of Proof Theory. S.Buss, ed. Elsevier, 1998, pp. 476-546.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Interpretability logic — Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability and/or various related metamathematical properties and relations such as weak interpretability, Pi;1 conservativity,… …   Wikipedia

  • Interpretability — The concept of interpretability is one in mathematical logic. Assume T and S are formal theories. Slightly simplified, T is said to be interpretable in S iff the language of T can be translated into the language of S in such a way that S proves… …   Wikipedia

  • Tolerant sequence — In mathematical logic, a tolerant sequence is a sequence :T 1,...,T n of formal theories such that there are consistent extensions :S 1,...,S n of these theories with each S {i+1} interpretable in S i. Tolerance naturally generalizes from… …   Wikipedia

  • List of mathematics articles (W) — NOTOC Wad Wadge hierarchy Wagstaff prime Wald test Wald Wolfowitz runs test Wald s equation Waldhausen category Wall Sun Sun prime Wallenius noncentral hypergeometric distribution Wallis product Wallman compactification Wallpaper group Walrasian… …   Wikipedia

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

  • Cointerpretability — In mathematical logic, cointerpretability is a binary relation on formal theories: a formal theory T is cointerpretable in another such theory S, when the language of S can be translated into the language of T in such a way that S proves every… …   Wikipedia

  • Cotolerant sequence — In mathematical logic, a cotolerant sequence is a sequence of formal theories such that there are consistent extensions of these theories with each Si + 1 is cointerpretable in Si. Cotolerance naturally generalizes from sequences of theories to… …   Wikipedia

  • Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

  • Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… …   Wikipedia

  • High-resolution transmission electron microscopy — (HRTEM) is an imaging mode of the transmission electron microscope (TEM) that allows the imaging of the crystallographic structure of a sample at an atomic scale. [cite book |title=Experimental high resolution electron microscopy |last=Spence… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”