The following pages link to Outstanding Contributions to Logic (Q261506):
Displaying 50 items.
- Banishing Ultrafilters from Our Consciousness (Q3305324) (← links)
- What Is Essential Unification? (Q3305325) (← links)
- DPLL: The Core of Modern Satisfiability Solvers (Q3305326) (← links)
- On Davis’s “Pragmatic Platonism” (Q3305327) (← links)
- Pragmatic Platonism (Q3305328) (← links)
- Concluding Comments by Martin (Q3305329) (← links)
- Martin Davis’s Bibliography 1950–2015 (Q3305330) (← links)
- Introduction: From Information at Large to Semantics of Logics (Q3305417) (← links)
- $$\mathbf {RM}$$ RM and its Nice Properties (Q3305418) (← links)
- Wedge Sum, Merge and Inconsistency (Q3305419) (← links)
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)
- LC and Its Pretabular Relatives (Q3305421) (← links)
- The Story of $$\gamma $$ γ (Q3305422) (← links)
- Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423) (← links)
- Epistemic Relevance and Epistemic Actions (Q3305424) (← links)
- Comparing Contents with Information (Q3305425) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Truth, Falsehood, Information and Beyond: The American Plan Generalized (Q3305427) (← links)
- Logical Foundations of Evidential Reasoning with Contradictory Information (Q3305428) (← links)
- Probabilistic Interpretations of Predicates (Q3305429) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
- Distributed Modal Logic (Q3305433) (← links)
- Tracking Information (Q3305434) (← links)
- Syllogistic Logic with Cardinality Comparisons (Q3305435) (← links)
- A “Reply” to My “Critics” (Q3305436) (← links)
- Modal Meinongianism: Conceiving the Impossible (Q3305656) (← links)
- The Number of Logical Values (Q3305657) (← links)
- Respects for Contradictions (Q3305658) (← links)
- Hegel and Priest on Revising Logic (Q3305659) (← links)
- Paraconsistent or Paracomplete? (Q3305660) (← links)
- Priest’s Anti-Exceptionalism, Candrakīrti and Paraconsistency (Q3305661) (← links)
- Looting Liars Masking Models (Q3305662) (← links)
- Inferential Semantics, Paraconsistency, and Preservation of Evidence (Q3305663) (← links)
- A Model-Theoretic Analysis of Fidel-Structures for mbC (Q3305664) (← links)
- Unity, Identity, and Topology: How to Make Donuts and Cut Things in Half (Q3305665) (← links)
- Contradictory Information: Better Than Nothing? The Paradox of the Two Firefighters (Q3305666) (← links)
- Variations on the Collapsing Lemma (Q3305667) (← links)
- Dialetheic Conditional Modal Logic (Q3305668) (← links)
- Priest on Negation (Q3305669) (← links)
- From Iff to Is: Some New Thoughts on Identity in Relevant Logics (Q3305670) (← links)
- The Difficulties in Using Weak Relevant Logics for Naive Set Theory (Q3305672) (← links)
- ST, LP and Tolerant Metainferences (Q3305673) (← links)
- Annotated Natural Deduction for Adaptive Reasoning (Q3305674) (← links)
- Denotation, Paradox and Multiple Meanings (Q3305675) (← links)
- Two Negations Are More than One (Q3305676) (← links)
- Inconsistency and Incompleteness, Revisited (Q3305677) (← links)
- GP’s LP (Q3305678) (← links)
- Expanding the Logic of Paradox with a Difference-Making Relevant Implication (Q3305679) (← links)
- On Non-transitive “Identity” (Q3305680) (← links)
