Pages that link to "Item:Q2719629"
From MaRDI portal
The following pages link to Automatic reasoning in paraconsistent logic (Q2719629):
Displaying 9 items.
- Efficient reasoning with inconsistent information using C-systems (Q527198) (← links)
- A reasoning method for a paraconsistent logic (Q687160) (← links)
- Signed systems for paraconsistent reasoning (Q1382164) (← links)
- Introducing the discriminative paraconsistent machine (DPM) (Q2510536) (← links)
- Paraconsistent reasoning as an analytic tool (Q2716925) (← links)
- Automating Coherent Logic (Q5387843) (← links)
- Inconsistency Tolerance (Q5464028) (← links)
- (Q5869518) (← links)
- Automatic theorem proving in paraconsistent logics: Theory and implementation (Q6488523) (← links)