The following pages link to Aspects of Paraconsistent Logic (Q4847373):
Displaying 31 items.
- Paraconsistent logic (Q266659) (← links)
- 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)
- Paraconsistent logic and model theory (Q1068814) (← links)
- Paraconsistent fuzzy logic preserving non-falsity (Q1697334) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Paraconsistent logic from a modal viewpoint (Q1775860) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- Paraconsistent orbits of logics (Q2239383) (← links)
- Distance-based paraconsistent logics (Q2270429) (← 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)
- \(C_1\)-compatible transitive extensions of system CT (Q2770970) (← links)
- Paraconsistency in hybrid logic (Q3133184) (← links)
- (Q3469089) (← links)
- (Q3474640) (← links)
- A paraconsistent extension of Sylvan’s logic (Q3546092) (← links)
- (Q4300127) (← links)
- (Q4413444) (← links)
- (Q4544195) (← links)
- (Q4722033) (← links)
- (Q4888316) (← 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)
- (Q5482597) (← links)
- Idempotent full paraconsistent negations are not algebraizable (Q5937811) (← links)
