Paraconsistency and the C-systems of da Costa

DOI10.1305/NDJFL/1093635241zbMATH Open0689.03011OpenAlexW2030320874MaRDI QIDQ1264139FDOQ1264139

Authors: Igor Urbas 

Publication date: 1989

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635241

Recommendations

• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
• scientific article
• scientific article; zbMATH DE number 551010
• Publication:3472081
• scientific article; zbMATH DE number 4083590

zbMATH Keywords

paraconsistent logicC-systemsda Costa's systems \(C_ n\)intersubstitutivity property

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (25)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Analytical tableaux for da Costa's hierarchy of paraconsistent logics \(C_n\), \(1\leq n<\omega\)
• Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• \(C_1\)-compatible transitive extensions of system CT
• Title not available (Why is that?)
• On subsystems of the system J1 of Arruda and Da Costa
• Title not available (Why is that?)
• On negation: Pure local rules
• Title not available (Why is that?)
• Idempotent full paraconsistent negations are not algebraizable
• First-order da Costa logic
• Weakening of intuitionistic negation for many-valued paraconsistent da Costa system
• Negative Modalities in the Light of Paraconsistency
• AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
• Natural deduction for paraconsistent logic
• Self-extensional three-valued paraconsistent logics
• Two Genuine 3-Valued Paraconsistent Logics
• Strong Three-Valued Paraconsistent Logics
• Aspects of Paraconsistent Logic
• Finitely many-valued paraconsistent systems

This page was built for publication: Paraconsistency and the C-systems of da Costa

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1264139)