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

Abstract

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.

Citation

Download Citation

Olivier Esser. "A Strong Model of Paraconsistent Logic." Notre Dame J. Formal Logic 44 (3) 149 - 156, 2003. https://doi.org/10.1305/ndjfl/1091030853

Information

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

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

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

Rights: Copyright © 2003 University of Notre Dame

JOURNAL ARTICLE
8 PAGES


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