Секвенциальные аксиоматизации простых паралогик

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

V.M. Popov

Abstract

The sequent systems axiomatizing some simple paralogies are presented and the solution of the decision problem for these simple paralogies is given. The connection of these logics with the classical propositional logic and the intuitionistic propositional logic is described.

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