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

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

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

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

Дата публикации: 2014

Дата публикации в реестре: 2020-03-18T12:42:15Z

Аннотация:

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

Ключевые слова:
81 Лингвистика. Языкознание. Языки, 512.774.3 Алгебраические и линейные системы на алгебраических поверхностях

Тип: Статья