Об одной девятизначной паранормальной логике.

##plugins.themes.bootstrap3.article.main##

D.V. Batashev
V.M. Popov

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##

Section
Статьи

References

Войшвилло Е.К. Философско-методологические аспекты релевантной логики. М., 1988.
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967.
Смирнов В.А. Формальный вывод и логические исчисления. М., 1972.
Попов В.М. Девятизначная характеризация логики $\mathbf{I}_{3}$ // Философия и будущее цивилизации: Тезисы докладов и выступлений IV Российского философского конгресса (Москва, 24-28 мая 2005 г.) Т.1. С. 547-548.

##plugins.generic.recommendByAuthor.heading##

1 2 3 > >>