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

Article Sidebar

PDF
Опубликован: 10.04.2011
DOI: https://doi.org/10.21146/2074-1472-2011-17-0-95-108
Ключевые слова:
теорема о дедукции, дедуктивные пропозициональные системы

Main Article Content

И.А. Горбунов

Аннотация

В данной статье рассматриваются некоторые вопросы, касающиеся теоремы дедукции для операторов следования и сентенциальных исчислений.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Горбунов И. Хорошо определенные логики // Логические исследования / Logical Investigations. 2011. Т. 17. C. 95-108.
Выпуск
Том 17 (2011)
Раздел
Статьи

Литература

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