The following pages link to First-order da Costa logic (Q631523):
Displaying 6 items.
- Revisiting da Costa logic (Q301378) (← links)
- First order expressivist logic (Q485622) (← links)
- Weakening of intuitionistic negation for many-valued paraconsistent da Costa system (Q1049743) (← links)
- Extensions of Priest-da Costa logic (Q2016069) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗ (Q5241535) (← links)