Независимая базируемость дедуктивных пропозициональных систем
Article Sidebar
Published:
30.11.2009
Main Article Content
Abstract
Some questions concerned the existence of independent bases for consequence operations and sentential calculi are considered in the present paper.
Downloads
Download data is not yet available.
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.