The simple consistency of a set theory based on the logic CSQ

DOI10.1305/NDJFL/1093870447zbMath0488.03026OpenAlexW2025063685MaRDI QIDQ1165845

Ross T. Brady

Publication date: 1983

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

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

zbMATH Keywords

quantificational logicquantified relevant logicextensionality rulegeneralized comprehension axiomtransfinite sequence of transfinite sequences of Lukasiewicz 3-valued model structures

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Related Items (13)

Paths to triviality ⋮ Non-monotonic set theory as a pragmatic foundation of mathematics ⋮ THE POWER OF NAIVE TRUTH ⋮ ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE ⋮ A new conditional for naive truth theory ⋮ Gentzenizations of relevant logics without distribution. I ⋮ The simple consistency of naive set theory using metavaluations ⋮ Paraconsistent or Paracomplete? ⋮ Models for a paraconsistent set theory ⋮ First Degree Entailment, Symmetry and Paradox ⋮ Variations on a theme of Curry ⋮ THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC ⋮ FOUR BASIC LOGICAL ISSUES

This page was built for publication: The simple consistency of a set theory based on the logic CSQ