Бесконечнозначная логика Лукасевича и критерии наличия фактор-семантики у многозначных логик

Article Sidebar

PDF
Опубликован: 08.05.2014
DOI: https://doi.org/10.21146/2074-1472-2014-20-0-179-195
Ключевые слова:
логика Лукасевича, фактор-семантика, логические матрицы, изоморфизм, локальная фактор-семантика

Main Article Content

Н. Н. Преловский

Аннотация

Понятие локальной фактор-семантики вводится при построении матриц K и K ', изоморфных стандартной рационально-значной матрице для бесконечнозначной логики Лукасевича.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Преловский Н. Н. Бесконечнозначная логика Лукасевича и критерии наличия фактор-семантики у многозначных логик // Логические исследования / Logical Investigations. 2014. Т. 20. C. 179-195.
Выпуск
Том 20 (2014)
Раздел
Статьи

Литература

Карпенко А.С. Развитие многозначной логики. М.: Издательство ЛКИ, 2010.
Карпенко А.С. Логики Лукасевича и простые числа. М.: Наука, 2000.
Karpenko A.S. Factor-Semantics for n-valued Logics // Studia Logica. 42(2/3). 1983. P. 179–185.
Rescher N. Many-Valued Logic. New York: McGraw Hill, 1969.