Паранепротиворечивые категории для паранепротиворечивой логики

##plugins.themes.bootstrap3.article.main##

V.L. Vasyukov

Abstract

It is well known that the concept of da Costa algebra [4] reflects most of the logical properties of paraconsistent propositional calculi $C_n$ ($1 \leq n \leq \omega$) introduced by N.C.A. da Costa. In [8] the construction of topos of functors from a small category to the category of sets was proposed which allows to yield the categorical semantics for da Costa’s paraconsistent logic. Another categorical semantics for $C_n$ would be obtained by introducing the concept of potos — the categorical counterpart of da Costa algebra (the name “potos” is borrowed from W.Carnielli’s story of the idea of such kind of categories). In the paper the potos completeness of da Costa logics (i.e. in respect to the potoses) is proved.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Васюков В.Л. Потосы для паранепротиворечивой логики // Современная логика: проблемы теории, истории и применения в науке. Материалы X Общероссийской научн. конференции, СПб., 2008. С. 105-107.
Голдблатт Р. Топосы. Категорный анализ логики. М., 1983.
J. Benabou. Fibered Categories and the Foundations of Naive Category Theory // The Journal of Symbolic Logic, 50(4):9-37, 1983.
W.A. Carnielli, L.P. Alcantara. Paraconsistent algebras // Studia Logica, XLIII, No 1/2, 1984, pp. 79-87.
N.C.A. da Costa. Calculus propositionnels pour les systemes inconsistants // C.R.Acad.Sci.Paris, T.257, 3790-3792, 1963.
N.C.A. da Costa and E.H. Alves. Une semantique pour le calculi $C_1$ // C.R.Acad.Sci.Paris, T.283, 729-731, 1976.
N.C.A. da Costa. Paraconsistent Mathematics // D. Batens, C. Mortensen, G. Priest and J.-P. van Bendegem (eds.), Frontiers of Paraconsistent Logic, Research Studies Press Ltd., Baldock, Hartfordshire, England, 2000, pp. 166-179.
V.L. Vasyukov. Paraconsistency in Categories // D. Batens, C. Mortensen, G. Priest and J.-P. van Bendegem (eds.), Frontiers of Paraconsistent Logic, Research Studies Press Ltd., Baldock, Hartfordshire, England, 2000, pp. 263-278.

##plugins.generic.recommendByAuthor.heading##

1 2 > >>