Погружение классической пропозициональной логики в некоторые паралогики.
Article Sidebar
Опубликован:
04.11.2003
Main Article Content
Аннотация
The classic propositional calculus PC is embedded into several paralogies by different embedding operations , which are constructed.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Карпенко И. Погружение классической пропозициональной логики в некоторые паралогики. // Логические исследования / Logical Investigations. 2003. Т. 10. C. 100-108.
Выпуск
Раздел
Статьи
Литература
Мендельсон Э. Введение в математическую логику. М.: Наука, 1976.
Popov V.M. On the Logics Related to A.Arruda's System VI // Logic and Logical Philosophy. 1999. Vol.7. P. 87-90.
Попов B.M. Об одной трехзначной паранепротиворечивой логике // Современная логика: проблемы теории, истории и применения в науке. СПб., 2002.
Попов В.М. Об одной трехзначной параполной логике // Логические исследования. Вып.9. М.: Наука, 2002.
Попов В.М. Об одной параполной логике // Смирновские чтения. 3 международная конференция. М.: ИФРАН, 2001.
Popov V.M. On the Logics Related to A.Arruda's System VI // Logic and Logical Philosophy. 1999. Vol.7. P. 87-90.
Попов B.M. Об одной трехзначной паранепротиворечивой логике // Современная логика: проблемы теории, истории и применения в науке. СПб., 2002.
Попов В.М. Об одной трехзначной параполной логике // Логические исследования. Вып.9. М.: Наука, 2002.
Попов В.М. Об одной параполной логике // Смирновские чтения. 3 международная конференция. М.: ИФРАН, 2001.