48 found
Order:
  1. Constructible Falsity and Inexact Predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
  2.  62
    Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
  3.  42
    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.
  4.  23
    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 (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  27
    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  
  6.  2
    Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  7. 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  
  8.  4
    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  
  9.  21
    Non-Null Implication.David Nelson - 1966 - Journal of Symbolic Logic 31 (4):562-572.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  9
    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  
  11.  5
    Recursive Functions and Intuitionistic Number Theory.David Nelson - 1947 - Journal of Symbolic Logic 12 (3):93-94.
  12.  21
    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.  29
    Discussion Reviews.Henry E. Kyburg & David A. Nelson - 1994 - Minds and Machines 4 (1):81-101.
  14.  19
    Review: Antonio Monteiro, Construction des Algebres de Nelson Finies. [REVIEW]David Nelson - 1971 - Journal of Symbolic Logic 36 (1):163-163.
  15.  21
    Inductive and Explanatory Irrelevance.David E. Nelson - 1999 - Philosophical Studies 96 (2):147-161.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  14
    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.
  17.  9
    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  
  18.  13
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  16
    Review: R. L. Goodstein, Transfinite Ordinals in Recursive Number Theory. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171.
  20.  14
    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  
  21.  20
    A Complete Negationless System.David Nelson - 1973 - Studia Logica 32 (1):41 - 49.
  22.  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.
  23.  9
    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.
  24.  13
    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.  8
    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  
  26.  8
    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.
  27.  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  
  28.  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.
  29.  6
    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.
  30.  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.
  31.  8
    Review: P. G. J. Vredenduin, The Logic of Negationless Mathematics. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):92-93.
  32.  8
    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.  5
    Goodstein R. L.. Transfinite Ordinals in Recursive Number Theory.David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171.
  34.  10
    Twenty-Fifth Annual Meeting of the Association for Symbolic Logic.David Nelson - 1960 - Journal of Symbolic Logic 25 (1):93-96.
  35.  6
    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  
  36.  4
    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  
  37.  4
    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  
  38.  4
    Review: J. J. De Iongh, Restricted Forms of Intuitionistic Mathematics. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):183-184.
  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
    Restricted Forms of Intuitionistic Mathematics.David Nelson - 1949 - Journal of Symbolic Logic 14 (3):183-184.
  41.  2
    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.  2
    Review: Andrzej Mostowski, On Definable Sets of Positive Integers. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (2):112-113.
  43.  1
    Review: Thoralf Skolem, The Development of Recursive Arithmetic. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (1):54-54.
  44. Heyting A.. On Weakened Quantification.David Nelson - 1947 - Journal of Symbolic Logic 12 (2):59-59.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. On the Being and Attributes of the Godhead, as Evidenced in Creation.David Nelson - 1872
    No categories
     
    Export citation  
     
    Bookmark  
  46. Review: A. Heyting, On Weakened Quantification. [REVIEW]David Nelson - 1947 - Journal of Symbolic Logic 12 (2):59-59.
  47. 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  
  48. Special Issue on System Verification.David A. Nelson - 1994 - Minds and Machines 4:93-101.