Логика интерпретации
Логика интерпретируемости Основы интерпретируемости Логики интерпретируемости расширяют логику доказуемости для описания метаматематических свойств. Основные разработчики включают Алессандро Берардуччи, Петра Гаека […]
Вики
Provability logic
Вики
Логика доказуемости
Логика доказуемости Основы логики доказуемости Логика доказуемости – модальная логика, где “это доказуемо” интерпретируется как “□”. Используется для формализации предиката