664 results on '"Urquhart, Alasdair"'
Search Results
2. G. F. Stout and the Theory of Descriptions
3. Russell’s Idealist Phase
4. The Roots of Modern Logic
5. The Couturat-Russell Correspondence
6. The Unnameable
7. Russell's Metaphysical Logic by Bernard Linsky (review)
8. Comments on the Contributions
9. A Logical Autobiography
10. A Logical Autobiography
11. Comments on the Contributions
12. Width and size of regular resolution proofs
13. Failure of interpolation in the intuitionistic logic of constant domains
14. Fine on Arbitrary Objects
15. The Story of
16. RUSSELL AND GÖDEL
17. The Complexity of Decision Procedures in Relevance Logic II
18. Geometry of Relevant Implication II
19. Principia Mathematica: The First 100 Years
20. Regular and General Resolution: An Improved Separation
21. The Complexity of Linear Logic with Weakening
22. Formalizing Dangerous SAT Encodings
23. Game Characterizations and the PSPACE-Completeness of Tree Resolution Space
24. Betweenness and Comparability Obtained from Binary Relations
25. Width Versus Size in Resolution Proofs
26. Duality Theory for Projective Algebras
27. FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC
28. Basic Many-Valued Logic
29. Local Symmetries in Propositional Logic
30. The Story of $$\gamma $$ γ
31. The Depth of Resolution Proofs
32. VON NEUMANN, GÖDEL AND COMPLEXITY THEORY
33. Anderson and Belnap's Invitation to Sin
34. 2009 North American Annual Meeting of the Association for Symbolic Logic
35. Enumerating Types of Boolean Functions
36. SUPERVALUATION FIXED-POINT LOGICS OF TRUTH
37. SYNONYMOUS LOGICS: A CORRECTION
38. The Complexity of Analytic Tableaux
39. Complexity of Proofs in Classical Propositional Logic
40. Synonymous Logics
41. The Logic of Physical Theory
42. The Complexity of Decision Procedures in Relevance Logic
43. Emil Post
44. A Contractionless Semilattice Semantics
45. The Undecidability of Entailment and Relevant Implication
46. Implicational Formulas in Intuitionistic Logic
47. The Complexity of Propositional Proofs
48. Entailment, Vol. II : The Logic of Relevance and Necessity
49. Duality for Algebras of Relevant Logics
50. Width versus size in resolution proofs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.