Четыре простые паралогики: семантики и секвенциальные формулировки

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

V.M. Popov

Abstract

The semantics adequate to a paraconsistent logic $I_{1,\omega}$, a paracomplete logic $I_{2,\omega}$, paranormal logics $I_{0,\omega}$ and $I_{3,\omega}$ are constructed. The sequent systems axiomatizing these logics are discribed. The embeddings of classical propositional logic into $I_{0,\omega}$, $I_{1,\omega}$, $I_{2,\omega}$ and $I_{3,\omega}$ are defined.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967. С. 9-74.
Смирнов В. А. Формальный вывод и логические исчисления // Смирнов В.А. Теория логического вывода. М., 1999. С. 16-233.

##plugins.generic.recommendByAuthor.heading##

1 2 3 > >>