RUSSIAN

От фактор-семантики к логическому исчислению алгебр

By Карпенко А.С.

Book information

Language
russian
Format
RAR
Filesize
9 MB (9869250 bytes)
Pages
\0
Library
twirpx
Time added
2017-08-07 07:01:42
Философские дисциплины;Логика

Description

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

Similar books