Независимая базируемость дедуктивных пропозициональных систем
Article Sidebar
Опубликован:
30.11.2009
Ключевые слова:
дедуктивные пропозициональные системы, независимая базируемость, компактность
Main Article Content
Аннотация
В данной статье рассматриваются некоторые вопросы, касающиеся существования независимых базисов для операций следствия и исчислений предложений.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Горбунов И. Независимая базируемость дедуктивных пропозициональных систем // Логические исследования / Logical Investigations. 2009. Т. 15. C. 78-93.
Выпуск
Раздел
Статьи
Литература
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.