REMARKS ON NAIVE SET THEORY BASED ONLP

DOI10.1017/S1755020314000525zbMath1350.03024MaRDI QIDQ5259723

Hitoshi Omori

Publication date: 29 June 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

paradoxconsistencyparaconsistent negationcontradictionnaive set theoryclassical negation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70) Paraconsistent logics (03B53)

Related Items

A Model-Theoretic Analysis of Fidel-Structures for mbC, Variations on the Collapsing Lemma, Expanding the Logic of Paradox with a Difference-Making Relevant Implication, There is more to negation than modality, From Paraconsistent Logic to Dialetheic Logic, A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES

Cites Work

• Non-monotonic set theory as a pragmatic foundation of mathematics
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Minimally inconsistent LP
• A note on naive set theory in LP
• A note on freedom from detachment in the logic of paradox
• On the theory of inconsistent formal systems
• TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• Strong, universal and provably non-trivial set theory by means of adaptive logic