scientific article; zbMATH DE number 551010
From MaRDI portal
Publication:4287778
zbMath0798.03025MaRDI QIDQ4287778
Publication date: 14 April 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencyparaconsistencyparaconsistent logictrivialityinconsistent formal systemshierarchy \(C_ n\)inconsistent set theoriesparaconsistent theoriesprinciple of noncontradiction
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Paraconsistent logics (03B53) Collections of reprinted articles (00B60)
Related Items
Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics, On a paraconsistentization functor in the category of consequence structures, LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT, The Birth of Dialetheism, From Inconsistency to Incompatibility, Weakly Free Multialgebras, On argumentation logic and propositional logic, Towards an Efficient Prover for the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math> Paraconsistent Logic, Limits for paraconsistent calculi, The Origins of the Use of the Argument of Trivialization in the Twentieth Century, Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi, A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES, Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω, Behavioral algebraization of da Costa's C-systems, On the Philosophy and Mathematics of the Logics of Formal Inconsistency, First-order logics of evidence and truth with constant and variable domains, Paraconsistent logics and translations, SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE