A strong model of paraconsistent logic

DOI10.1305/NDJFL/1091030853zbMATH Open1071.03014OpenAlexW2049928901MaRDI QIDQ558738FDOQ558738

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

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

zbMATH Keywords

paraconsistent logicFrege's comprehension schemehyperuniversepositive set theory

Mathematics Subject Classification ID

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

Cites Work

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

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)