The following pages link to (Q4287778):
Displaying 18 items.
- Limits for paraconsistent calculi (Q701299) (← links)
- On argumentation logic and propositional logic (Q1743995) (← links)
- Paraconsistent logics and translations (Q1840969) (← links)
- First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (Q2817945) (← links)
- The Origins of the Use of the Argument of Trivialization in the Twentieth Century (Q3590049) (← links)
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics C<sub>n</sub>, 1≤n<ω (Q3647223) (← links)
- Behavioral algebraization of da Costa's <i>C</i>-systems (Q3647293) (← links)
- On a paraconsistentization functor in the category of consequence structures (Q4586164) (← links)
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC <b>QCIORE</b> (Q5001546) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- 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 (Q5170293) (← links)
- A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES (Q5221290) (← links)
- On the Philosophy and Mathematics of the Logics of Formal Inconsistency (Q5241518) (← links)
- From Inconsistency to Incompatibility (Q6107289) (← links)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth (Q6562366) (← links)
- A Kalmár-style completeness proof for the logics of the hierarchy \(\mathbb{I}^n\mathbb{P}^k\). (Q6648090) (← links)
