От фактор-семантики к логическому исчислению алгебр
Карпенко А.С.
Статья опубликована в сборнике "Семантические и синтаксические исследования неэкстенсиональных логик", ответственный редактор доктор философских наук В.А. Смирнов. Москва, "Наука", 1989 год. Академия наук СССР, Институт философии.Список заголовков:
Предварительные замечания.
Фактор семантика для Łn.
Дискретная нестандартная модель для Łω.
Фактор-семантика для ŁΣ.
Алгебраическая структура истинностных значений логики ŁΣ.
Матрица MA.
Выводы.
Предварительные замечания.
Фактор семантика для Łn.
Дискретная нестандартная модель для Łω.
Фактор-семантика для ŁΣ.
Алгебраическая структура истинностных значений логики ŁΣ.
Матрица MA.
Выводы.
Dil:
russian
Dosya:
RAR, 9.41 MB
IPFS:
,
russian0