Слабая интерпретируемость

В математическая логика, слабая интерпретируемость - понятие перевода логических теорий, введенное вместе с интерпретируемостью Альфредом Тарски в 1953 году.

Пусть T и S - формальные теории. Слегка упрощенный, T называется слабо интерпретируемым в S тогда и только тогда, когда язык T может быть переведен на язык S таким образом, что перевод каждой теоремы из T согласуется с S. Конечно, здесь есть некоторые естественные условия для допустимых переводов, такие как необходимость перевода для сохранения логической структуры формул.

Обобщение слабой интерпретируемости, толерантность, была введена Георгием Джапаридзе в 1992 году.

• Логика интерпретации

• Тарский, Альфред (1953), Неразрешимые теории, исследования по логике и основам математики, Амстердам: издательство North-Holland Publishing Company, MR 0058532. Написано в сотрудничестве с Анджей Мостовски и Рафаэлем М. Робинсоном.
• Джапаридзе, Джорджи (1993), «Обобщенное понятие слабой интерпретируемости и соответствующей модальной логики», Annals of Pure and Applied Logic, 61 (1-2): 113-160, doi : 10.1016 / 0168-0072 (93) 90201-N, MR 1218658.
• Джапаридзе, Гиорги (1992), «Логика линейного допуска», Studia Logica, 51 (2): 249–277, doi : 10.1007 / BF00370116, MR 1185914
• Джапаридзе, Георгий ; де Йонг, Дик (1998), «Логика доказуемости», в Басс, Сэмюэл Р. (ред.), Справочник по теории доказательства, Stud. Логика найдена. Math., 137, Амстердам: Северная Голландия, стр. 475–546, doi : 10.1016 / S0049-237X (98) 80022-0, MR 1640331