Неявная определимость в паранепротиворечивых расширениях минимальной логики.
Article Sidebar
Опубликован:
31.10.2001
Main Article Content
Аннотация
The family E(J) of extensions of Johansson's minimal logic J can be divided into two disjoint parts: paraconsistent logics and superintuitionistic logics. We apply the results and methods found in our study of superintuitionistic logics to paraconsistent logics. We obtain the full description of paraconsistent extensions of the logic JE' containing J, which have the interpolation property CIP or the projective Beth property PBP. In addition, we find some necessary condition for a logic in E(J) to have PBP or CIP.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Максимова Л. Неявная определимость в паранепротиворечивых расширениях минимальной логики. // Логические исследования / Logical Investigations. 2001. Т. 8. C. 72-81.
Выпуск
Раздел
Статьи
Литература
Смирнов В.А. Об одной системе паранепротиворечивой логики // Многозначные, релевантные и паранепротиворечивые логики (Труды семинара по логике ИФ АН СССР). М., 1984. С. 129-133.
Максимова 77.77. Явная и неявная определимость в модальных, суперингуиционистских и релевантных логикг1Х // Логические исследования. Вып. 5. М., 1998. С. 53-60.
Maksimova L. Intuitionistic Logic and Implicit Definability // Annals of Pure and Applied Logic. 105. 2000. P. 83-102.
Максимова 77.77. Интерполяционная теорема Крейга и амальгамируемые многообразия // Доклады АН СССР. 237. №. 6. 1977. С. 1281-1284.
Максимова 77.77. Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр // Алгебра и логика. 40. 2001.
Максимова 77.77. Неявная определимость и позитивные логики // Алгебра и логика (в печати).
Craig W. Three uses ofHerbrand-Gentzen theorem in relating model theory and proof theory 11 J. Symbolic Logic. 22. 1957. P. 269-285.
Kreisel G. Explicit definability in intuitionistic logic 11 J. Symbolic Logic. 25. 1960. P. 389-390.
Расева X, Сикорский P. Математика метаматематики // M.: Наука. 1972.
Johansson I. Der Minimalkalkul, ein reduzierter intuitionistischer Formalismus 11 Compositio Mathematica. 4. 1937. P. 119-136.
Segerberg K. Propositional logics related to Heyting’s and Johansson's II Theoria. 34.1968. P.26-61.
Верхозина М.И. Промежуточные позитивные логики // Алгоритмические вопросы алгебраических систем. Иркутск, 1978. С. 13-25.
Одинцов С.П. Изоморфизмы логики классической опровержимости и их обобщения // Труды научно-исследовательского семинара Логического центра Института философии РАН. М., 1997. С. 48-61.
Максимова 77.77. Явная и неявная определимость в модальных, суперингуиционистских и релевантных логикг1Х // Логические исследования. Вып. 5. М., 1998. С. 53-60.
Maksimova L. Intuitionistic Logic and Implicit Definability // Annals of Pure and Applied Logic. 105. 2000. P. 83-102.
Максимова 77.77. Интерполяционная теорема Крейга и амальгамируемые многообразия // Доклады АН СССР. 237. №. 6. 1977. С. 1281-1284.
Максимова 77.77. Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр // Алгебра и логика. 40. 2001.
Максимова 77.77. Неявная определимость и позитивные логики // Алгебра и логика (в печати).
Craig W. Three uses ofHerbrand-Gentzen theorem in relating model theory and proof theory 11 J. Symbolic Logic. 22. 1957. P. 269-285.
Kreisel G. Explicit definability in intuitionistic logic 11 J. Symbolic Logic. 25. 1960. P. 389-390.
Расева X, Сикорский P. Математика метаматематики // M.: Наука. 1972.
Johansson I. Der Minimalkalkul, ein reduzierter intuitionistischer Formalismus 11 Compositio Mathematica. 4. 1937. P. 119-136.
Segerberg K. Propositional logics related to Heyting’s and Johansson's II Theoria. 34.1968. P.26-61.
Верхозина М.И. Промежуточные позитивные логики // Алгоритмические вопросы алгебраических систем. Иркутск, 1978. С. 13-25.
Одинцов С.П. Изоморфизмы логики классической опровержимости и их обобщения // Труды научно-исследовательского семинара Логического центра Института философии РАН. М., 1997. С. 48-61.