О несуществовании конечной характеристической матрицы для одной паранормальной логики.

Article Sidebar

PDF
Опубликован: 30.11.2005
DOI: https://doi.org/10.21146/2074-1472-2005-12-0-49-53

Main Article Content

Д.В. Баташев

Аннотация

Цель работы - доказать, что для предложенной в [1] пропозициональной логики $\mathbf{VVP}$, являющейся вариантом паранормальной логики, не существует конечной характеристической матрицы.

Скачивания

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

Article Details

Как цитировать
Баташев Д. О несуществовании конечной характеристической матрицы для одной паранормальной логики. // Логические исследования / Logical Investigations. 2005. Т. 12. C. 49-53.
Выпуск
Том 12 (2005)
Раздел
Статьи

Литература

Попов В.М. Паралогики: секвенциальные формулировки и семантика // Доклад, прочитанный 16.03.04 на заседании Объединенного семинара кафедры логики философского факультета МГУ и сектора логики Института философии РАН.