The following pages link to Aspects of Paraconsistent Logic (Q4847373):
Displaying 13 items.
- Efficient reasoning with inconsistent information using C-systems (Q527198) (← links)
- Liberating paraconsistency from contradiction (Q895829) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Revisiting \(\mathbb Z\) (Q2443124) (← links)
- On paraconsistent extensions of \(C_1\) (Q2520660) (← links)
- The later Wittgenstein's guide to contradictions (Q2695171) (← links)
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC <b>QCIORE</b> (Q5001546) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
- Idempotent full paraconsistent negations are not algebraizable (Q5937811) (← links)
