Open Access
2003 A Strong Model of Paraconsistent Logic
Olivier Esser
Notre Dame J. Formal Logic 44(3): 149-156 (2003). DOI: 10.1305/ndjfl/1091030853


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.


Download Citation

Olivier Esser. "A Strong Model of Paraconsistent Logic." Notre Dame J. Formal Logic 44 (3) 149 - 156, 2003.


Published: 2003
First available in Project Euclid: 28 July 2004

zbMATH: 1071.03014
MathSciNet: MR2130787
Digital Object Identifier: 10.1305/ndjfl/1091030853

Primary: 03B50 , 03B53 , 03E70
Secondary: 54A99

Keywords: Frege's comprehension scheme , hyperuniverse , paraconsistent logic , positive set theory

Rights: Copyright © 2003 University of Notre Dame

Vol.44 • No. 3 • 2003
Back to Top