The purpose of this paper is mainly to give a model of paraconsistent
logic satisfying the "Frege comprehension scheme" in which we can develop
standard set theory (and even much more as we shall see). This is the
continuation of the work of Hinnion and Libert.
Publié le : 2003-07-14
Classification:
paraconsistent logic,
Frege's comprehension scheme,
positive set theory,
hyperuniverse,
03B50,
03B53,
03E70,
54A99
@article{1091030853,
author = {Esser, Olivier},
title = {A Strong Model of Paraconsistent Logic},
journal = {Notre Dame J. Formal Logic},
volume = {44},
number = {1},
year = {2003},
pages = { 149-156},
language = {en},
url = {http://dml.mathdoc.fr/item/1091030853}
}
Esser, Olivier. A Strong Model of Paraconsistent Logic. Notre Dame J. Formal Logic, Tome 44 (2003) no. 1, pp. 149-156. http://gdmltest.u-ga.fr/item/1091030853/