Об одной девятизначной паранормальной логике.
##plugins.themes.bootstrap3.article.main##
Abstract
A propositional logic $\mathbf{VIК}$ is defined in semantic terms of state quasidescription. A hilbert style calculi $\mathbf{HVIK}$ and a sequent calculi $\mathbf{GVIK}$ which axiomatize this logic are constructed, a nine-valued characteristic matrix for $\mathbf{VIК}$ is constructed. We also define the maps embedding a classical propositional logic into $\mathbf{VIK}$.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Batashev D., Popov V. Об одной девятизначной паранормальной логике. // Logicheskie Issledovaniya / Logical Investigations. 2005. VOL. 12. C. 54-61.
Issue
Section
Papers
References
Войшвилло Е.К. Философско-методологические аспекты релевантной логики. М., 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.