The following pages link to (Q4013818):
Displayed 4 items.
- How to be really contraction free (Q1313081) (← links)
- Resolving contradictions: A plausible semantics for inconsistent systems (Q1332637) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)