A strong model of paraconsistent logic
From MaRDI portal
Publication:558738
DOI10.1305/ndjfl/1091030853zbMath1071.03014OpenAlexW2049928901MaRDI QIDQ558738
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
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