Независимая базируемость дедуктивных пропозициональных систем
##plugins.themes.bootstrap3.article.sidebar##
Published:
30.11.2009
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Gorbunov I. Независимая базируемость дедуктивных пропозициональных систем // Logicheskie Issledovaniya / Logical Investigations. 2009. VOL. 15. C. 78-93.
Issue
Section
Papers
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.
Карпенко 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.