The following pages link to (Q3032251):
Displaying 6 items.
- Non-monotonic set theory as a pragmatic foundation of mathematics (Q301346) (← links)
- The simple consistency of naive set theory using metavaluations (Q484104) (← links)
- Reasoning about truth (Q908899) (← links)
- Semantical analysis of Arruda da Costa P systems and adjacent non- replacement relevant systems (Q1257476) (← links)
- Models for a paraconsistent set theory (Q1775861) (← links)
- Classical logic is not uniquely characterizable (Q2679579) (← links)
