Order: Listing date First author Impact Pub year Relevance Downloads
Order
Constructible falsity. David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26. details
Constructible falsity and inexact predicates. Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233. details
Constructible Falsity. David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228. details
Deductive program verification (a practitioner's commentary). David A. Nelson - 1992 - Minds and Machines 2 (3):283-307. details
Recursive Functions and Intuitionistic Number Theory. David Nelson - 1947 - Journal of Symbolic Logic 12 (3):93-94. details
Confirmation, explanation, and logical strength. David E. Nelson - 1996 - British Journal for the Philosophy of Science 47 (3):399-413. details
Non-Null implication. David Nelson - 1966 - Journal of Symbolic Logic 31 (4):562-572. details
Review: A. Mostowski, Sur L'Interpretation Geometrique et Topologique des Notions Logiques. [REVIEW] David Nelson - 1949 - Journal of Symbolic Logic 14 (3):184-184. details
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. details
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. details
Heyting A.. On weakened quantification. David Nelson - 1947 - Journal of Symbolic Logic 12 (2):59-59. details
On the Being and Attributes of the Godhead, as Evidenced in Creation. David Nelson - 1872 details
Review: A. Heyting, On Weakened Quantification. [REVIEW] David Nelson - 1947 - Journal of Symbolic Logic 12 (2):59-59. details
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. details
Special issue on system verification. David A. Nelson - 1994 - Minds and Machines 4:93-101. details
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. details
Discussion reviews. Henry E. Kyburg & David A. Nelson - 1994 - Minds and Machines 4 (1):81-101. details
Inductive and explanatory irrelevance. David E. Nelson - 1999 - Philosophical Studies 96 (2):147-161. details
Review: Antonio Monteiro, Construction des Algebres de Nelson Finies. [REVIEW] David Nelson - 1971 - Journal of Symbolic Logic 36 (1):163-163. details
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. details
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. details
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. details
Review: R. L. Goodstein, Transfinite Ordinals in Recursive Number Theory. [REVIEW] David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
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. details
Review: P. G. J. Vredenduin, The Logic of Negationless Mathematics. [REVIEW] David Nelson - 1956 - Journal of Symbolic Logic 21 (1):92-93. details
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. details
Goodstein R. L.. Transfinite ordinals in recursive number theory. David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171. details
Twenty-fifth annual meeting of the association for symbolic logic. David Nelson - 1960 - Journal of Symbolic Logic 25 (1):93-96. details
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. details
Review: H. Rasiowa, Algebraische Charakterisierung der Intuitionistischen Logik mit Starker Negation. [REVIEW] David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-119. details
Restricted Forms of Intuitionistic Mathematics. David Nelson - 1949 - Journal of Symbolic Logic 14 (3):183-184. details
Review: Andrzej Mostowski, A Classification of Logical Systems. [REVIEW] David Nelson - 1952 - Journal of Symbolic Logic 17 (4):274-275. details
A complete negationless system. David Nelson - 1973 - Studia Logica 32 (1):41 - 49. details
Review: J. J. de Iongh, Restricted Forms of Intuitionistic Mathematics. [REVIEW] David Nelson - 1949 - Journal of Symbolic Logic 14 (3):183-184. details
Review: H. Rasiowa, $mathcal{N}$-Lattices and Constructive Logic with Strong Negation. [REVIEW] David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118. details
Review: Gene F. Rose, Propositional Calculus and Realizability. [REVIEW] David Nelson - 1954 - Journal of Symbolic Logic 19 (2):126-126. details
Review: Andrzej Mostowski, On Definable Sets of Positive Integers. [REVIEW] David Nelson - 1948 - Journal of Symbolic Logic 13 (2):112-113. details
Review: Thoralf Skolem, The Development of Recursive Arithmetic. [REVIEW] David Nelson - 1948 - Journal of Symbolic Logic 13 (1):54-54. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed