Подробное описание документа
Ивлев Ю. В.
Сравнительный анализ квазифункциональных логик / Ивлев Ю. В. - DOI 10.18698/2306-8477-2017-11-486 // Гуманитарный вестник МГТУ им. Н. Э. Баумана. - 2017. - № 11. -
Скачать документ
Квазифункциональная (квазиматричная, недетерминистская, ограниченно детерминистская) логика базируется на принципе квазифункциональности, согласно которому во многих случаях между явлениями имеет место отношение частичной неопределенности. Эта логика представляет собой множество логических систем. Они отличаются типами высказываний, отношения по формам между которыми выражаются системой, а также типами логических терминов, входящих в высказывания. Логические системы заданы семантически. Для наглядности отношений между ними и облегчения их выбора для практического применения полезно построить логические системы аксиоматическим методом. В статье изложен результат сравнительного анализа аксиоматически построенных трехзначных и четырехзначных квазиматричных логик и их предельных случаев - матричных логик.
Статья опубликована в следующих изданиях
№ 11. - 2017.
