Б.Н. Дроботун; Г.С. Джарасова; Н.Б. Егимбаева

О семантиках исчислений высказываний

Авторы

Б.Н. Дроботун
Г.С. Джарасова
Н.Б. Егимбаева

Ключевые слова:

сигнатура, интерпретация, алгебраическая система, синтаксис, семантика, аксиома, терм, исчисление, поле развертывания

Аннотация

Конкретизируется, применительно к исчислению высказываний, общая схема построения семантических интерпретаций пропозициональных исчислений; определяется термальное исчисление Term, как наиболее последовательно формализованный вариант исчисления высказываний; возможности строгого разделения синтаксиса и семантики в рамках исчисления Term демонстрируются на примерах построения нетрадиционных семантических интерпретаций этого исчисления

О семантиках исчислений высказываний