Статья
  • формат image
  • размер 9,41 МБ
  • добавлен 19 марта 2015 г.
Карпенко А.С. От фактор-семантики к логическому исчислению алгебр
Статья опубликована в сборнике "Семантические и синтаксические исследования неэкстенсиональных логик", ответственный редактор доктор философских наук В.А. Смирнов. Москва, "Наука", 1989 год. Академия наук СССР, Институт философии.
Список заголовков:
Предварительные замечания.
Фактор семантика для Łn.
Дискретная нестандартная модель для Łω.
Фактор-семантика для ŁΣ.
Алгебраическая структура истинностных значений логики ŁΣ.
Матрица MA.
Выводы.