해석성이 약함

수학 논리학에서 약한 해석성은 논리 이론의 번역 개념으로, 1953년 알프레드 타르스키에 의해 해석 가능성과 함께 도입되었다.

T와 S를 형식적인 이론으로 하자.약간 단순화된 T는 T의 모든 정리의 번역이 S와 일치하도록 T의 언어를 S의 언어로 번역할 수 있는 경우에만 S로 약하게 해석할 수 있다고 한다.물론 여기에서는 T를 보존하기 위한 번역의 필요성 등 허용 가능한 번역에 관한 몇 가지 자연조건이 있다.그는 수식의 논리적 구조

약한 해석성, 내성의 일반화는 1992년 Giorgi Japaridze에 의해 도입되었다.

참고 항목

• 해석성 논리

참조

• Andrzej Mostowski, Raphael M. Robinson과 협력하여 작성되었다Tarski, Alfred (1953), Undecidable theories, Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland Publishing Company, MR 0058532.
• Dzhaparidze, Giorgie (1993), "A generalized notion of weak interpretability and the corresponding modal logic", Annals of Pure and Applied Logic, 61 (1–2): 113–160, doi:10.1016/0168-0072(93)90201-N, MR 1218658.
• Dzhaparidze, Giorgie (1992), "The logic of linear tolerance", Studia Logica, 51 (2): 249–277, doi:10.1007/BF00370116, MR 1185914
• Japaridze, Giorgi; de Jongh, Dick (1998), "The logic of provability", in Buss, Samuel R. (ed.), Handbook of Proof Theory, Stud. Logic Found. Math., vol. 137, Amsterdam: North-Holland, pp. 475–546, doi:10.1016/S0049-237X(98)80022-0, MR 1640331