The following pages link to Revisiting da Costa logic (Q301378):
Displaying 10 items.
- Weakening and extending \(\mathbb{Z}\) (Q497880) (← links)
- First-order da Costa logic (Q631523) (← links)
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\) (Q809995) (← links)
- The pursuit of an implication for the logics L3A and L3B (Q1689566) (← links)
- Kripke-type semantics for \(\mathrm{CG}_3'\) (Q1744430) (← links)
- Extensions of Priest-da Costa logic (Q2016069) (← links)
- (Q3112278) (← links)
- (Q3611559) (← links)
- (Q4489080) (← links)
- Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation (Q5176671) (← links)
