Независимая базируемость дедуктивных пропозициональных систем

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

I.A. Gorbunov

Abstract

Some questions concerned the existence of independent bases 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

Czelakowski J. and Malinowski G. Key Notions of Tarski’s Methodology of Deductive Systems // Studia Logica. 1985. V. 44. №4. P. 321-351.
Карпенко A.C. Предмет логики в свете основных тенденций ее развития // Логические исследования. Вып. 11. 2004. С. 149-171.
Wojcicki R. Matrix Approach In Methodology Of Sentential Calculi // Studia Logica. 1973. V. 32. P. 7-37.
Wojcicki R. Theory of Logical Calculi: Basic Theory of Consequence Operations. Dordrecht: Kluwer, 1988.