• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Семантика типа Крипке для пропозициональной логики задач и высказываний

Математический сборник. 2020. Т. 211. № 5. С. 98-125.

Рассматривается пропозициональный фрагмент HC объединенной логики задач и высказываний, введенной C. A. Мелиховым. Строятся модели типа Крипке для этой логики, доказывается полнота логики HC относительно таких моделей, а также свойство конечных моделей. Рассмотрены примеры применения моделей типа Крипке логики HC для решения некоторых вопросов (в частности, доказательство того, что HC является консервативным расширением логики H4). Также показано, что логика HC полна относительно шкал Крипке с проверяющими мирами, введенных С. Н. Артёмовым и Т. Протопопеску.
Библиография: 31 название.