scientific article; zbMATH DE number 551010
From MaRDI portal
Publication:4287778
consistencyhierarchy \(C_ n\)inconsistent formal systemsinconsistent set theoriesparaconsistencyparaconsistent logicparaconsistent theoriesprinciple of noncontradictiontriviality
Collections of reprinted articles (00B60) Collected or selected works; reprintings or translations of classics (01A75) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Paraconsistent logics (03B53)
Recommendations
Cited in
(63)- Paraconsistent logic and model theory
- Paraconsistency and the C-systems of da Costa
- On argumentation logic and propositional logic
- Paraconsistent logics and translations
- First-order logics of evidence and truth with constant and variable domains
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- Paraconsistent logic in a historical perspective
- Handling inconsistencies in multi-dimensional logics
- Classical and non-classical logics: essay on the foundations of logic
- How to sell a contradiction. The logic and methaphysics of inconsistency
- Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
- On the development of logic in Brazil. I: The early logic studies and the path to contemporary logic
- Revisiting da Costa logic
- Inconsistent geometry
- scientific article; zbMATH DE number 4200175 (Why is no real title available?)
- From logics of formal inconsistency to logics of formal classicality
- scientific article; zbMATH DE number 4137753 (Why is no real title available?)
- scientific article; zbMATH DE number 4142011 (Why is no real title available?)
- Handbook of paraconsistency
- The origins of the use of the argument of trivialization in the twentieth century
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics \(C_n\), \(1\leq n<\omega\)
- Behavioral algebraization of da Costa's \({\mathcal C}\)-systems
- scientific article; zbMATH DE number 4008359 (Why is no real title available?)
- scientific article; zbMATH DE number 4031614 (Why is no real title available?)
- scientific article; zbMATH DE number 4083589 (Why is no real title available?)
- scientific article; zbMATH DE number 4125369 (Why is no real title available?)
- scientific article; zbMATH DE number 4128790 (Why is no real title available?)
- scientific article; zbMATH DE number 536898 (Why is no real title available?)
- scientific article; zbMATH DE number 605217 (Why is no real title available?)
- scientific article; zbMATH DE number 1735925 (Why is no real title available?)
- scientific article; zbMATH DE number 2019859 (Why is no real title available?)
- scientific article; zbMATH DE number 1501640 (Why is no real title available?)
- scientific article; zbMATH DE number 1749147 (Why is no real title available?)
- scientific article; zbMATH DE number 1790853 (Why is no real title available?)
- On a paraconsistentization functor in the category of consequence structures
- Theory of effective propositional paraconsistent logics
- scientific article; zbMATH DE number 3993534 (Why is no real title available?)
- scientific article; zbMATH DE number 3993578 (Why is no real title available?)
- scientific article; zbMATH DE number 2101979 (Why is no real title available?)
- scientific article; zbMATH DE number 782632 (Why is no real title available?)
- Aspects of Paraconsistent Logic
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- Towards an efficient prover for the \(C_1\) paraconsistent logic
- Paraconsistent heap. A hierarchy of \(\mathrm{mbC}^{n}\)-systems
- On the methodology of paraconsistent logic
- A recovery operator for nontransitive approaches
- On the philosophy and mathematics of the logics of formal inconsistency
- Da Costa meets Belnap and Nelson
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
- Artificial Intelligence and Symbolic Computation
- The Birth of Dialetheism
- From Inconsistency to Incompatibility
- Weakly Free Multialgebras
- Consistent theories in inconsistent logics
- First-order da Costa logic
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- A Kalmár-style completeness proof for the logics of the hierarchy \(\mathbb{I}^n\mathbb{P}^k\).
- Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa
- Limits for paraconsistent calculi
- Proving contradictions in formal theories. I
- Proving contradictions in formal theories. II
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4287778)
