47 found
Order:
  1.  37
    Diana Brignole. Equational Characterization of Nelson Algebra. Notre Dame Journal of Formal Logic, Vol. 10 No. 3 , Pp. 285–297. [REVIEW]David Nelson - 1971 - Journal of Symbolic Logic 36 (1):163.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  2. Constructible Falsity and Inexact Predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
  3.  58
    Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
  4.  16
    Diana Brignole and Antonio Monteiro. Caractérisation des Algèbres de Nelson Par des Égalités. Notas de Lógica Matematica, No. 20, Instituto de Matematica, Universidad Nacional Del Sur, Bahia Blanca1964, 14 Pp. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):119.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5. Confirmation, Explanation, and Logical Strength.David E. Nelson - 1996 - British Journal for the Philosophy of Science 47 (3):399-413.
    Van Fraassen argues that explanatory power cannot be a conformational virtue. In this paper I will show that informational features of scientific theories can be positively relevant to their levels of conformation. Thus, in the cases where the explanatory power of a theory is tied to an informational feature of the theory, it can still be the case that the explanatory power of the theory is positively relevant to its level of confirmation.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  6.  19
    Deductive Program Verification (a Practitioner's Commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
    A proof of ‘correctness’ for a mathematical algorithm cannot be relevant to executions of a program based on that algorithm because both the algorithm and the proof are based on assumptions that do not hold for computations carried out by real-world computers. Thus, proving the ‘correctness’ of an algorithm cannot establish the trustworthiness of programs based on that algorithm. Despite the (deceptive) sameness of the notations used to represent them, the transformation of an algorithm into an executable program is a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  3
    Review: A. Mostowski, Sur L'Interpretation Geometrique et Topologique des Notions Logiques. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):184-184.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  8.  20
    Non-Null Implication.David Nelson - 1966 - Journal of Symbolic Logic 31 (4):562-572.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  6
    De Iongh J. J.. Restricted Forms of Intuitionistic Mathematics. Actes du Xme Congrès International de Philosophie —Proceedings of the Tenth International Congress of Philosophy , North-Holland Publishing Company, Amsterdam 1949, Pp. 744–748. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):183-184.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  5
    Recursive Functions and Intuitionistic Number Theory.David Nelson - 1947 - Journal of Symbolic Logic 12 (3):93-94.
  11.  26
    Discussion Reviews.Henry E. Kyburg & David A. Nelson - 1994 - Minds and Machines 4 (1):81-101.
  12.  15
    Monteiro Antonio. Construction des Algèbres de Nelson Finies. Notas de Lógica Matemática No. 15, Instituto de Matemática, Universidad Nacional Del Sur, Bahía Blanca 1964, 11 Pp. , Pp. 359–362.). [REVIEW]David Nelson - 1971 - Journal of Symbolic Logic 36 (1):163-163.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  21
    Inductive and Explanatory Irrelevance.David E. Nelson - 1999 - Philosophical Studies 96 (2):147-161.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  14.  10
    Gilmore Paul Carl. The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic. English with Dutch Samenvatting. Dissertation Amsterdam 1953, Viii + 25 Pp.Gilmore P. C.. The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic. The Same Paper with Omission of the Preface and the Dutch Summary. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 56 , Pp. 162–186; Also Indagationes Mathematicae, Vol. 15 , Pp. 162–186. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):91-92.
  15.  5
    Main Outcomes of an RCT to Pilot Test Reporting and Feedback to Foster Research Integrity Climates in the VA.Brian C. Martinson, David C. Mohr, Martin P. Charns, David Nelson, Emily Hagel-Campbell, Ann Bangerter, Hanna E. Bloomfield, Richard Owen & Carol R. Thrush - 2017 - Ajob Empirical Bioethics 8 (3):211-219.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  12
    Review: Antonio Monteiro, Construction des Algebres de Nelson Finies. [REVIEW]David Nelson - 1971 - Journal of Symbolic Logic 36 (1):163-163.
  17.  12
    The Spacing of Papers in Final Honours Examinations—a Survey of Examinees.David M. Nelson - 1976 - Educational Studies 2 (3):227-235.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  9
    Białynicki-Birula A. And Rasiowa H.. On Constructible Falsity in the Constructive Logic with Strong Negation. Colloquium Mathematicum, Vol. 6 , Pp. 287–310. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
  19.  12
    Review: Diana Brignole, Antonio Monteiro, Caracterisation des Algebres de Nelson par des Egalites. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):119-119.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  7
    Gilmore P. C.. Griss' Criticism of the Intuitionistic Logic and the Theory of Order. Actes du XIème Congrès International de Philosophie, Volume V, Logique, Analyse Philosophique, Philosophie des Mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, Pp. 98–104. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):93-94.
  21.  7
    Rasiowa H.. Algebraische Charakterisierung der Intuitionistischen Logik MIT Starker Negation. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 234–240. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-119.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  7
    Rasiowa H.. -Lattices and Constructive Logic with Strong Negation. Fundamenta Mathematicae, Vol. 46 , Pp. 61–80.David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118.
  23.  18
    A Complete Negationless System.David Nelson - 1973 - Studia Logica 32 (1):41 - 49.
  24.  11
    Review: A. Bialynicki-Birula, H. Rasiowa, On Constructible Falsity in the Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
  25.  6
    Skolem Thoralf. The Development of Recursive Arithmetic. Dixième Congrès des Mathématiciens Scandinaves, Copenhagen 1946, 16 Pp. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (1):54-54.
  26.  1
    Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  5
    Rose Gene F.. Propositional Calculus and Realizability. Transactions of the American Mathematical Society, Vol. 75 , Pp. 1–19. [REVIEW]David Nelson - 1954 - Journal of Symbolic Logic 19 (2):126-126.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  8
    Review: Paul Carl Gilmore, The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):91-92.
  29.  7
    Review: P. G. J. Vredenduin, The Logic of Negationless Mathematics. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):92-93.
  30.  9
    Twenty-Fifth Annual Meeting of the Association for Symbolic Logic.David Nelson - 1960 - Journal of Symbolic Logic 25 (1):93-96.
  31.  5
    Review: R. L. Goodstein, Transfinite Ordinals in Recursive Number Theory. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171.
  32.  5
    Review: P. C. Gilmore, Griss' Criticism of the Intuitionistic Logic and the Theory of Order. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):93-94.
  33.  3
    Goodstein R. L.. Transfinite Ordinals in Recursive Number Theory.David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171.
  34.  3
    Mostowski Andrzej. A Classification of Logical Systems. Studia Philosophica , Vol. 4 , Pp. 237–274.David Nelson - 1952 - Journal of Symbolic Logic 17 (4):274-275.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  3
    Vredenduin P. G. J.. The Logic of Negationless Mathematics. Compositio Mathematica, Vol. 11 No. 3 , Pp. 204–270.David Nelson - 1956 - Journal of Symbolic Logic 21 (1):92-93.
  36.  4
    Review: H. Rasiowa, Algebraische Charakterisierung der Intuitionistischen Logik mit Starker Negation. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-119.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  4
    Review: J. J. De Iongh, Restricted Forms of Intuitionistic Mathematics. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):183-184.
  38.  3
    Review: Andrzej Mostowski, A Classification of Logical Systems. [REVIEW]David Nelson - 1952 - Journal of Symbolic Logic 17 (4):274-275.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  3
    Review: H. Rasiowa, $Mathcal{N}$-Lattices and Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118.
  40.  2
    Review: Andrzej Mostowski, On Definable Sets of Positive Integers. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (2):112-113.
  41.  1
    Review: Gene F. Rose, Propositional Calculus and Realizability. [REVIEW]David Nelson - 1954 - Journal of Symbolic Logic 19 (2):126-126.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  1
    Review: Thoralf Skolem, The Development of Recursive Arithmetic. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (1):54-54.
  43. Heyting A.. On Weakened Quantification.David Nelson - 1947 - Journal of Symbolic Logic 12 (2):59-59.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. On the Being and Attributes of the Godhead, as Evidenced in Creation.David Nelson - 1872
    No categories
     
    Export citation  
     
    Bookmark  
  45. Review: A. Heyting, On Weakened Quantification. [REVIEW]David Nelson - 1947 - Journal of Symbolic Logic 12 (2):59-59.
  46. Reviews. Andrzej Mostowski. On Definable Sets of Positive Integers. Fundamenla Mathematicae, Vol. 34 , Pp. 81–112.David Nelson - 1948 - Journal of Symbolic Logic 13 (2):112-113.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. Special Issue on System Verification.David A. Nelson - 1994 - Minds and Machines 4:93-101.