The following pages link to (Q3890668):
Displayed 3 items.
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\) (Q809995) (← links)
- Some definitions of negation leading to paraconsistent logics (Q1062973) (← links)
- A knowledge representation perspective: Logics for paraconsistent reasoning (Q4293724) (← links)