The following pages link to (Q3909031):
Displaying 40 items.
- Inconsistency-adaptive dialogical logic (Q263112) (← links)
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- Nice embedding in classical logic (Q300555) (← links)
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- Adaptive logic as a modal logic (Q383560) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Ideal paraconsistent logics (Q647409) (← links)
- Socratic proofs and paraconsistency: A case study (Q813092) (← links)
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) (← links)
- On interpretation of inconsistent theories (Q1123189) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- There is more to negation than modality (Q1749806) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- Two semantical approaches to paraconsistent modalities (Q1931347) (← links)
- Multimodal incompleteness under weak negations (Q1945703) (← links)
- Modal extensions of sub-classical logics for recovering classical logic (Q1945706) (← links)
- The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable (Q2070424) (← links)
- An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\) (Q2118976) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- Paranegations and the square of oppositions (Q2695542) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- Annotated Natural Deduction for Adaptive Reasoning (Q3305674) (← links)
- First order theory for literal-paraconsistent and literal-paracomplete matrices (Q3583806) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (Q4600826) (← links)
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- On the system CB1 and a lattice of the paraconsistent calculi (Q5006825) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- Tutorial on Inconsistency-Adaptive Logics (Q5241516) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- Some Adaptive Contributions to Logics of Formal Inconsistency (Q5241531) (← links)
- Two, Many, and Differently Many (Q5350334) (← links)
