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

##plugins.themes.bootstrap3.article.sidebar##

PDF (Русский)
Published: 10.04.2011
DOI: https://doi.org/10.21146/2074-1472-2011-17-0-95-108

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

How to Cite
Gorbunov I. Хорошо определенные логики // Logicheskie Issledovaniya / Logical Investigations. 2011. VOL. 17. C. 95-108.
Issue
Vol 17 (2011)
Section
Papers

References

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