A note on naive set theory in LP

DOI10.1305/ndjfl/1093634406zbMath0768.03033OpenAlexW2165473014MaRDI QIDQ1203771

Greg Restall

Publication date: 22 February 1993

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

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

zbMATH Keywords

naive set theory in non-standard logicsparaconsistent logic LP

Mathematics Subject Classification ID

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

Related Items

TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, Non-monotonic set theory as a pragmatic foundation of mathematics, AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC, NAIVE SET THEORY AND NONTRANSITIVE LOGIC, EXPRESSIVE LIMITATIONS OF NAÏVE SET THEORY IN LP AND MINIMALLY INCONSISTENT LP., TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY, A Model-Theoretic Analysis of Fidel-Structures for mbC, At the Limits of Thought, Assertion, Denial and Non-classical Theories, Models for a paraconsistent set theory, From Paraconsistent Logic to Dialetheic Logic, Paraconsistent Computation and Dialetheic Machines, Impossible worlds: A modest approach, GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY, REMARKS ON NAIVE SET THEORY BASED ONLP