Pages that link to "Item:Q1264139"
From MaRDI portal
The following pages link to Paraconsistency and the C-systems of da Costa (Q1264139):
Displaying 23 items.
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← 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)
- Weakening of intuitionistic negation for many-valued paraconsistent da Costa system (Q1049743) (← links)
- Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\) (Q1090674) (← links)
- Self-extensional three-valued paraconsistent logics (Q1682293) (← links)
- On negation: Pure local rules (Q1775871) (← links)
- A single proof of classical behaviour in da Costa's \(C_n\) systems (Q2520656) (← links)
- On paraconsistent extensions of \(C_1\) (Q2520660) (← links)
- Finitely many-valued paraconsistent systems (Q2741227) (← links)
- Natural deduction for paraconsistent logic (Q2746598) (← links)
- \(C_1\)-compatible transitive extensions of system CT (Q2770970) (← links)
- From logics of formal inconsistency to logics of formal classicality (Q3386890) (← links)
- On subsystems of the system J1 of Arruda and Da Costa (Q3491523) (← links)
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics C<sub>n</sub>, 1≤n<ω (Q3647223) (← links)
- Aspects of Paraconsistent Logic (Q4847373) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- Two Genuine 3-Valued Paraconsistent Logics (Q5213770) (← links)
- Strong Three-Valued Paraconsistent Logics (Q5241521) (← links)
- Negative Modalities in the Light of Paraconsistency (Q5350350) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473745) (← links)
- Idempotent full paraconsistent negations are not algebraizable (Q5937811) (← links)
