The following pages link to (Q4012257):
Displaying 6 items.
- Resolving contradictions: A plausible semantics for inconsistent systems (Q1332637) (← links)
- A sequent calculus for reasoning in four-valued Description Logics (Q4610338) (← links)
- Questions to Michael Dunn (Q5059687) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- A simple signed system for paraconsistent reasoning (Q5236448) (← links)
- A logic-based theory of deductive arguments (Q5941137) (← links)
