Об одной девятизначной паранормальной логике.
Article Sidebar
Опубликован:
30.11.2005
Main Article Content
Аннотация
В семантических терминах квазпописаний состояния определяется пропозициональная логика $\mathbf{VIK}$. Строятся исчисление $\mathbf{HVIK}$ гильбертовского типа и секвенциальное исчисление $\mathbf{GVIK}$, аксиоматизирующие эту логику, конструируется девятизначная характеристическая матрица для $\mathbf{VIK}$, определяются отображения, погружающие классическую пропозициональную логику в $\mathbf{VIK}$.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Баташев Д., Попов В. Об одной девятизначной паранормальной логике. // Логические исследования / Logical Investigations. 2005. Т. 12. C. 54-61.
Выпуск
Раздел
Статьи
Литература
Войшвилло Е.К. Философско-методологические аспекты релевантной логики. М., 1988.
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967.
Смирнов В.А. Формальный вывод и логические исчисления. М., 1972.
Попов В.М. Девятизначная характеризация логики $\mathbf{I}_{3}$ // Философия и будущее цивилизации: Тезисы докладов и выступлений IV Российского философского конгресса (Москва, 24-28 мая 2005 г.) Т.1. С. 547-548.
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967.
Смирнов В.А. Формальный вывод и логические исчисления. М., 1972.
Попов В.М. Девятизначная характеризация логики $\mathbf{I}_{3}$ // Философия и будущее цивилизации: Тезисы докладов и выступлений IV Российского философского конгресса (Москва, 24-28 мая 2005 г.) Т.1. С. 547-548.