The following pages link to (Q3874167):
Displaying 8 items.
- An anti-realist account of mathematical truth (Q585184) (← links)
- Extensionality and restriction in naive set theory (Q965901) (← links)
- Depth relevance of some paraconsistent logics (Q1068075) (← links)
- Paraconsistent metatheory: new proofs with old tools (Q2155941) (← links)
- Classical logic is not uniquely characterizable (Q2679579) (← links)
- Some Comments and Replies (Q3305682) (← links)
- Paraconsistent Computation and Dialetheic Machines (Q5213766) (← links)
- Logic talk (Q6180153) (← links)