The following pages link to (Q3956917):
Displaying 7 items.
- Paraconsistent disjunctive deductive databases (Q1185011) (← links)
- Paraconsistent logic programming (Q1262746) (← links)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information (Q4583322) (← links)
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (Q4600826) (← links)
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- From Possibility Theory to Paraconsistency (Q5241526) (← links)