The Difficulties in Using Weak Relevant Logics for Naive Set Theory

DOI10.1007/978-3-030-25365-3_17zbMath1469.03056OpenAlexW2998374853MaRDI QIDQ3305672

Maarten McKubre-Jordens, Erik Istre

Publication date: 10 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25365-3_17

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Cites Work

• Relevant restricted quantification
• A note on contraction-free logic for validity
• TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• Whither relevant arithmetic?
• Unnamed Item
• Unnamed Item
• Unnamed Item