Погружение классической пропозициональной логики в паралогики, родственные логике Par
Article Sidebar
Опубликован:
08.05.2014
Ключевые слова:
классическая логика высказываний, паранепротиворечивая логика, параполная логика, погружающее отображение
Main Article Content
Аннотация
Работа выполнена в русле изучения связей между классическими логиками, с одной стороны, и неклассическими логиками, с другой стороны. В статье построено эффективно вычислимое отображение, погружающее классическую пропозициональную логику в любую паралогику, которая включает логику Par из [2] и имеет с Par один и тот же язык.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Попов В. М. Погружение классической пропозициональной логики в паралогики, родственные логике Par // Логические исследования / Logical Investigations. 2014. Т. 20. C. 149-158.
Выпуск
Раздел
Статьи
Литература
Мендельсон Э. Введение в математическую логику. Наука, М.: 1971.
Попов В.М. Секвенциальные формулировки паранепротиворечивых логических систем //Синтаксические и семантические исследования неэкстенсиональных логик. М.: Наука. 1989. С. 285–289.
Попов В.М. Между Par и множеством всех формул // Шестые смирновские чтения по логике. Материалы международной научной конференции 17-19 июня 2009 г., Москва. М., 2009. С. 93–95.
Розоноэр Л.И. О выявлении противоречий в формальных теориях. I // Автоматика и телемеханика. №6. 1983. С. 113–124.
Розоноэр Л.И. О выявлении противоречий в формальных теориях. II // Автоматика и телемеханика. №7. 1983. С. 97–104.
Avron A. Natural 3-valued Logics: Characterization and proof theory // Journal of Symbolic Logic, Vol. 56, 1991. P. 276–294.
Batens D. Paraconsistent extensional propositional logic // Logique et Analyse, Vol. 23, 1980. P. 127–139.
Попов В.М. Секвенциальные формулировки паранепротиворечивых логических систем //Синтаксические и семантические исследования неэкстенсиональных логик. М.: Наука. 1989. С. 285–289.
Попов В.М. Между Par и множеством всех формул // Шестые смирновские чтения по логике. Материалы международной научной конференции 17-19 июня 2009 г., Москва. М., 2009. С. 93–95.
Розоноэр Л.И. О выявлении противоречий в формальных теориях. I // Автоматика и телемеханика. №6. 1983. С. 113–124.
Розоноэр Л.И. О выявлении противоречий в формальных теориях. II // Автоматика и телемеханика. №7. 1983. С. 97–104.
Avron A. Natural 3-valued Logics: Characterization and proof theory // Journal of Symbolic Logic, Vol. 56, 1991. P. 276–294.
Batens D. Paraconsistent extensional propositional logic // Logique et Analyse, Vol. 23, 1980. P. 127–139.