A strong model of paraconsistent logic

DOI10.1305/NDJFL/1091030853MaRDI QIDQ558738zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Paraconsistent logic and model theory
• Models for a paraconsistent set theory
• A paraconsistent logic obtained from an algebra-valued model of set theory
• ZF and the axiom of choice in some paraconsistent set theories
• scientific article; zbMATH DE number 16515

Cites work

• scientific article; zbMATH DE number 3760154 (Why is no real title available?)
• scientific article; zbMATH DE number 3484054 (Why is no real title available?)
• scientific article; zbMATH DE number 2068676 (Why is no real title available?)
• scientific article; zbMATH DE number 2213620 (Why is no real title available?)
• A general construction of hyperuniverses
• An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory
• Naive set theory with extensionality in partial logic and in paradoxical logic
• Natural 3-valued logics—characterization and proof theory
• On the Consistency of a Positive Theory
• On the axiom of extensionality in the positive set theory
• The consistency problem for positive comprehension principles
• ZF and the axiom of choice in some paraconsistent set theories

Cited in

(6)

• Tutorial on Inconsistency-Adaptive Logics
• Paraconsistent logic and model theory
• Models for a paraconsistent set theory
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• Two, Many, and Differently Many
• The strong version of a sentential logic

This page was built for publication: A strong model of paraconsistent logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558738)