A strong model of paraconsistent logic

DOI10.1305/ndjfl/1091030853zbMath1071.03014OpenAlexW2049928901MaRDI QIDQ558738

Olivier Esser

Publication date: 13 July 2005

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1091030853

zbMATH Keywords

paraconsistent logicFrege's comprehension schemehyperuniversepositive set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Paraconsistent logics (03B53)

Related Items

NON-CLASSICAL FOUNDATIONS OF SET THEORY ⋮ Two, Many, and Differently Many ⋮ Models for a paraconsistent set theory ⋮ Tutorial on Inconsistency-Adaptive Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Naive set theory with extensionality in partial logic and in paradoxical logic
• A general construction of hyperuniverses
• The consistency problem for positive comprehension principles
• ZF and the axiom of choice in some paraconsistent set theories
• Natural 3-valued logics—characterization and proof theory
• On the Consistency of a Positive Theory
• An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory
• On the axiom of extensionality in the positive set theory