Секвенциальные аксиоматизации простых паралогик

Article Sidebar

PDF
Опубликован: 07.04.2010
DOI: https://doi.org/10.21146/2074-1472-2010-16-0-205-220
Ключевые слова:
секвенция, исчисление, пересечение логик, паралогика

Main Article Content

В.М. Попов

Аннотация

Формулируются удобные для поиска доказательства секвенциальные исчисления, аксиоматизирующие простые паралогики. Положительно решается вопрос о разрешимости паралогик, аксиоматизируемых посредством этих секвенциальных исчислений. Устанавливается связь между рассматриваемыми простыми паралогиками с одной стороны и классической и интуиционистской пропозициональными логиками с другой стороны.

Скачивания

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

Article Details

Как цитировать
Попов В. Секвенциальные аксиоматизации простых паралогик // Логические исследования / Logical Investigations. 2010. Т. 16. C. 205-220.
Выпуск
Том 16 (2010)
Раздел
Статьи

Литература

Генцен Г. Исследование логических выводов // Математическая теория логического вывода. М., 1967. С. 9-74.
Смирнов В. А. Формальный вывод и логические исчисления // Смирнов В. А. Теория логического вывода. М., 1999. С. 16-233.