Хорошо определенные логики

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

I.A. Gorbunov

Abstract

Some questions concerned the deduction theorem for consequence operations and sentential calculi are considered in the present paper.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Wojcicki R. Lectures on Propositional Calculi // www.studialogica.org/wojcicki
Wojcicki R. Lectures on Propositional Calculi // Wroclaw: Ossolineum, 1984.
Смирнов В.А. Формальный вывод и логические исчисления. М., 1972.
Хаскел Б. Карри Основания математической логики. М., 1969.