Potoses: categorical paraconsistent universum for paraconsistent logic and mathematicстатья

Статья опубликована в журнале из перечня ВАК
Дата последнего поиска статьи во внешних источниках: 21 мая 2019 г.

Работа с статьей


[1] Vasyukov V. L. Potoses: categorical paraconsistent universum for paraconsistent logic and mathematic // Логические исследования. — 2017. — Vol. 23, no. 2. — P. 76–95. It is well-known that the concept of da Costa algebra [3] reflects most of the logical properties of paraconsistent propositional calculi Cn, 1 ≤ n ≤ ω introduced by N.C.A. da Costa. In [10] 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 Cn 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). [ DOI ]

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть