scientific article

From MaRDI portal

Publication:3032251

Jump to:navigation, search

zbMath0691.03037MaRDI QIDQ3032251

Ross T. Brady, Richard Routley

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

relevant logic paraconsistent logic non-triviality generalized comprehension axiom EDST inconsistent set theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Nonclassical and second-order set theories (03E70)

Related Items (6)

Non-monotonic set theory as a pragmatic foundation of mathematics ⋮ Classical logic is not uniquely characterizable ⋮ Reasoning about truth ⋮ The simple consistency of naive set theory using metavaluations ⋮ Models for a paraconsistent set theory ⋮ Semantical analysis of Arruda da Costa P systems and adjacent non- replacement relevant systems

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3032251&oldid=16073469"