Категорная семантика для паранепротиворечивых логик.
Article Sidebar
Опубликован:
04.11.1993
Main Article Content
Аннотация
В статье предложены две конструкции категорной семантики для паранепротиворечивой логики да Косты [6]. Первая из них представляет собой модификацию понятия $N$-категории [9], а вторая основывается на конструкции топоса функторов из малой категории в категорию множеств Set. Рассмотрены вопросы непротиворечивости и полноты системы $C_1$ да Косты в данной семантике.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Васюков В. Категорная семантика для паранепротиворечивых логик. // Логические исследования / Logical Investigations. 1993. Т. 2. C. 285-298.
Выпуск
Раздел
Статьи
Литература
Голъдблатт Р. Топосы. Категорный анализ логики. М.,1983.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М.,1979.
Иилмуратов А.ТЧ Карпенко А.С., Попов В.М. О паранепротиворечивой логике / / Семантические и синтаксические исследования неэкстенсиональных логик. М.,1989. С.261-284.
РасеваЕ.у Сикорский Р. Математика метаматематики. М.1972.
Camielli W A.f Alcantara L.F. Paraconsistent algebras / / Stud.Logica. 1984. XLIII. No 1/2. P.79-87.
da Costa N.CA. Calculus propositionnels pour les systemes formels inconsistants / / C.RAcad.Sci.Paris. T.257,N25. 1963. P.3790-3792.
da Costa N .C A. Operations non-monotones dans de treillis / / C.R Acad.Sci.Paris. T.263. 1966. P.429-432.
da Costa N.CA.f Alves E.H. Une semantique pour le calcul C^ / / C.R Acad.Sci.Paris. T.283. 1976. P.729-731.
Riscos A .y Laita M.L. N-categories in logic / / Zeitschr.Math. Log.Grundl.Math. Bd.33. 1987. P.507-516.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М.,1979.
Иилмуратов А.ТЧ Карпенко А.С., Попов В.М. О паранепротиворечивой логике / / Семантические и синтаксические исследования неэкстенсиональных логик. М.,1989. С.261-284.
РасеваЕ.у Сикорский Р. Математика метаматематики. М.1972.
Camielli W A.f Alcantara L.F. Paraconsistent algebras / / Stud.Logica. 1984. XLIII. No 1/2. P.79-87.
da Costa N.CA. Calculus propositionnels pour les systemes formels inconsistants / / C.RAcad.Sci.Paris. T.257,N25. 1963. P.3790-3792.
da Costa N .C A. Operations non-monotones dans de treillis / / C.R Acad.Sci.Paris. T.263. 1966. P.429-432.
da Costa N.CA.f Alves E.H. Une semantique pour le calcul C^ / / C.R Acad.Sci.Paris. T.283. 1976. P.729-731.
Riscos A .y Laita M.L. N-categories in logic / / Zeitschr.Math. Log.Grundl.Math. Bd.33. 1987. P.507-516.