Категорная семантика для паранепротиворечивых логик.
##plugins.themes.bootstrap3.article.sidebar##
Published:
04.11.1993
##plugins.themes.bootstrap3.article.main##
Abstract
В статье предложены две конструкции категорной семантики для паранепротиворечивой логики да Косты [6]. Первая из них представляет собой модификацию понятия $N$-категории [9], а вторая основывается на конструкции топоса функторов из малой категории в категорию множеств Set. Рассмотрены вопросы непротиворечивости и полноты системы $C_1$ да Косты в данной семантике.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Vasiukov V. Категорная семантика для паранепротиворечивых логик. // Logicheskie Issledovaniya / Logical Investigations. 1993. VOL. 2. C. 285-298.
Issue
Section
Papers
References
Голъдблатт Р. Топосы. Категорный анализ логики. М.,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.