The following pages link to (Q5753932):
Displaying 11 items.
- Efficient reasoning with inconsistent information using C-systems (Q527198) (← links)
- Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\) (Q1090674) (← links)
- On argumentation logic and propositional logic (Q1743995) (← links)
- Paraconsistent logics and translations (Q1840969) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- (Q3112278) (← links)
- (Q3469089) (← links)
- (Q3611559) (← links)
- (Q4432160) (← links)
- (Q4489080) (← links)
- Conservative translations (Q5935991) (← links)