Слабая интерпретируемость
-
Определение слабой интерпретируемости
- Слабая интерпретируемость — это возможность перевода логических теорий с сохранением логической структуры.
- Альфред Тарский ввел это понятие в 1953 году.
-
Обобщение понятия слабой интерпретируемости
- Георгий Джапаридзе ввел понятие толерантности в 1992 году, которое является обобщением слабой интерпретируемости.
-
Примеры и рекомендации
- В статье приведены примеры и рекомендации по форматированию текста в HTML.
- Статья написана в соавторстве с Анджеем Мостовским и Рафаэлем М. Робинсоном.