• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Article

Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematic

Logical Investigations. 2017. Vol. 23. No. 2. P. 76-95.

It is well-known that the concept of da Costa algebra [3] reects most of the logical properties of paraconsistent propositional calculi Cn, 1< n <w 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)