От фактор-семантики к логическому исчислению алгебр
Карпенко А.С.
Статья опубликована в сборнике "Семантические и синтаксические исследования неэкстенсиональных логик", ответственный редактор доктор философских наук В.А. Смирнов. Москва, "Наука", 1989 год. Академия наук СССР, Институт философии.Список заголовков:
Предварительные замечания.
Фактор семантика для Łn.
Дискретная нестандартная модель для Łω.
Фактор-семантика для ŁΣ.
Алгебраическая структура истинностных значений логики ŁΣ.
Матрица MA.
Выводы.
Предварительные замечания.
Фактор семантика для Łn.
Дискретная нестандартная модель для Łω.
Фактор-семантика для ŁΣ.
Алгебраическая структура истинностных значений логики ŁΣ.
Матрица MA.
Выводы.
Language:
russian
File:
RAR, 9.41 MB
IPFS:
,
russian0
Litres
Want to add your book store? Contact us at support@z-lib.do
File converter
More search results
More benefits 
