Results for 'J. B. Rosser'

1000+ found
Order:
  1.  34
    J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part II. Deductive completeness. The journal of symbolic logic, vol. 16 , pp. 22–34. See Errata, ibid., p. iv.Burton Spencer Dreben, J. B. Rosser & A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (4):269.
  2. Many-Valued Logics.J. B. Rosser & A. R. Turquette - 1954 - British Journal for the Philosophy of Science 5 (17):80-83.
     
    Export citation  
     
    Bookmark   36 citations  
  3.  8
    Some Properties of Conversion.Alonzo Church & J. B. Rosser - 1936 - Journal of Symbolic Logic 1 (2):74-75.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  4.  20
    Axiom schemes for m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1945 - Journal of Symbolic Logic 10 (3):61-82.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  5.  26
    Generalization of a lemma of G. F. rose.I. L. Gál, J. B. Rosser & D. Scott - 1958 - Journal of Symbolic Logic 23 (2):137-138.
  6. A note on the deductive completeness of m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1949 - Journal of Symbolic Logic 14 (4):219-225.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  89
    Axiom schemes for m-valued functional calculi of first order: Part I. definition of axiom schemes and proof of plausibility.J. B. Rosser & A. R. Turquette - 1948 - Journal of Symbolic Logic 13 (4):177-192.
  8.  11
    A Note on the Deductive Completeness of m-Valued Propositional Calculi.J. B. Rosser & A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (2):137-138.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  47
    Axiom schemes for m-valued functional calculi of first order: Part II. deductive completeness.J. B. Rosser & A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (1):22-34.
  10.  7
    Axiom Schemes for m-Valued Functional Calculi of First Order. Part I. Definition of Axiom Schemes and Proof of Plausibility.J. B. Rosser & A. R. Turquette - 1950 - Journal of Symbolic Logic 14 (4):259-260.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  9
    Generalization of a Lemma of G. F. Rose.J. B. Rosser & D. Scott - 1960 - Journal of Symbolic Logic 25 (2):179-179.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  27
    Axiom Schemes for M-Valued Propositional Calculi.Robert Feys, J. B. Rosser & A. R. Turquette - 1946 - Journal of Symbolic Logic 11 (3):86.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  13
    Curry Haskell B.. Combinatory logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 90–99. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-267.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  41
    Haskell B. Curry and Robert Feys. Combinatory logic. Volume I. With two sections by William Craig. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1958, xvi + 417 pp. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  63
    The axiom of infinity in Quine's new foundations.J. Barkley Rosser - 1952 - Journal of Symbolic Logic 17 (4):238-242.
    We use NF to designate the system known as Quine's New Foundations, and NF + AF to designate the same system with a suitable axiom of infinity adjoined. We use ML to designate the revised system appearing in the third printing of Quine's “Mathematical Logic”. This system ML is just the systemPproposed by Wang in [4], and essentially includes NF as a part.The pripcipal results of the present paper are:A. In NF the axiom of infinity is equivalent to the definability (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  21
    Live and Dead Issues in the Methodology of Economics.Richard P. F. Holt & J. Barkley Rosser - unknown
    We attempt to clarify divisions made by us in previous work (Colander et al., 2004a,b) between “orthodox, mainstream, and heterodox” in economics, following very useful remarks in Dequech (2007-08), whom we thank. We also provide specific advice for heterodox economists, namely: worry less about methodology, focus on being economists first and heterodox economists second, and prepare ideas to leave the incubator of heterodoxy to enter the mainstream economic debate.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  21
    Stephen Cole Kleene. Vvédénié v métamatématiku. Russian translation of XIX 215 by A. S. Ésénin-Vol′pin, edited by V. A. Uspénskij. Izdatél′stvo Inostrannoj Litératury, Moscow1957, 526 pp. . - A. S. Ésénin-Vol′pin. Ot péravodčika . Therein, pp. 5–6. - A. S. Ésénin-Vol′pin. Dobavlénié I. Dokazatél′stvo vtoroj téorémy Gëdéla. Therein, pp. 459–474. - A. S. Ésénin-Vol′pin. Dobavlénié II. Vospolnénié probêla υ §§49 i 74. Therein, pp. 474–478. - A. S. Ésénin-Vol′pin. Dobavlénié III. O formalizuémosti péréhoda ot k v dokazatél'stvé téorémy 36. to in the proof of theorem 36.) Therein, p. 479. - A. S. Ésénin-Vol′pin. Dobavlénié IV. Postroénié formuly B priméra 2 §79. Therein, pp. 479–481. - A. S. Ésénin-Vol′pin. Dobavlénié V. Ob ustranimosti ravénstva i néoprédélénnyh opisanij. Therein, pp. 481–484. - A. S. Ésénin-Vol′pin. Dobavlénié VI. O formalizacii indukcii do porádkovyhčisél mén′sih ε0 v sistémé gl. IV . .) Therein, pp. 484–485. - A. S. Ésénin-Vol′pin. Dobavlénié VII. Dokazatél′stvo néproti. [REVIEW]David D. Comey & J. Barkley Rosser - 1960 - Journal of Symbolic Logic 25 (3):280-282.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  5
    Curry H. B.. A new proof of the Church-Rosser theorem. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 , pp. 16–23; also Indagationes mathematicae, vol. 14 , pp. 16–23. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):377-378.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  3
    Review: H. B. Curry, A New Proof of the Church-Rosser Theorem. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):377-378.
  20.  23
    William B. Easton. Powers of regular cardinals. Annals of mathematical logic, vol. 1 no. 2 , pp. 139–178. - J. R. Shoenfield. Unramified forcing. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 357–381. [REVIEW]J. Barkley Rosser - 1975 - Journal of Symbolic Logic 40 (3):460-461.
  21.  9
    Review: William B. Easton, Powers of Regular Cardinals; J. R. Shoenfield, Unramified Forcing. [REVIEW]J. Barkley Rosser - 1975 - Journal of Symbolic Logic 40 (3):460-461.
  22.  13
    Curry Haskell B.. La théorie des combinateurs. Università di Roma, Istituto Nazionale di Alta Matematica, Rendiconti di matematica e delle sue applicazioni, ser. 5 vol. 10 , pp. 347–359.Curry Haskell B.. La logique combinatoire et les antinomies. Ibid., pp. 360–370. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):378-378.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  16
    Review: Haskell B. Curry, Combinatory Logic. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
  24.  5
    Review: Haskell B. Curry, La Theorie des Combinateurs; Haskell B. Curry, La Logique Combinatoire et les Antinomies. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):378-378.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  21
    J. Barkley Rosser. Logic for mathematicians. Second edition of XVIII 326. Chelsea Publishing Company, New York1978, xv + 574 pp. [REVIEW]H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
  26.  45
    Critical reasoning: understanding and criticizing arguments and theories.J. B. Cederblom - 2012 - Boston, MA: Cengage. Edited by David W. Paulsen.
    In this era of increased polarization of opinion and contentious disagreement, CRITICAL REASONING presents a cooperative approach to critical thinking and formation of beliefs. CRITICAL REASONING emphasizes the importance of developing and applying analytical skills in real life contexts. This book is unique in providing multiple, diverse examples of everyday arguments, both textual and visual, including hard to find long argument passages from real-life sources. The book provides clear, step-by-step procedures to help you decide for yourself what to believe--to be (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  27.  10
    Review: J. Barkley Rosser, Logic for Mathematicians. [REVIEW]H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  13
    Review: J. Barkley Rosser, Logique Combinatoire et $lambda$-Conversion; J. Barkley Rosser, les Modeles des Logiques Formelles. [REVIEW]Frederic B. Fitch - 1957 - Journal of Symbolic Logic 22 (3):293-293.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Pe-24 instabilities of current and of potential distribution in gaas and inp.J. B. Gunn - 1965 - In Karl W. Linsenmann (ed.), Proceedings. St. Louis, Lutheran Academy for Scholarship. pp. 2--199.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Possible Worlds.J. B. S. Haldane - 1927 - New Brunswick: Transaction Publishers.
    John Burdon Sanderson Haldane was a giant among men. He made major contributions to genetics, population biology, and evolutionary theory. He was at once comfortable in mathematics, chemistry, microbiology and animal physiology. But it was his belief in education that led to his preparing his popular essays for publication. In his own words: "Many scientific workers believe that they should confine their publications to learned journals. I think that the public has a right to know what is going on inside (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  9
    Review: J. B. Rosser, A. R. Turquette, A Note on the Deductive Completeness of m-Valued Propositional Calculi. [REVIEW]A. F. Bausch - 1950 - Journal of Symbolic Logic 15 (2):137-138.
  32. 10 Autonomy, obligation, and virtue: An overview of Kant's moral philosophy.J. B. Schneewind - 1992 - In Paul Guyer (ed.), The Cambridge companion to Kant. New York: Cambridge University Press. pp. 3--309.
  33. A classification and investigation of trustees in B-to-C e-commerce: General vs. specific trust.J. B. Thatcher, M. Carter, X. Li & G. Rong - 2013 - Communications of the Association for Information Systems 32.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Engineering trust in complex automated systems.J. B. Lyons, K. S. Koltai, N. T. Ho, W. B. Johnson, D. E. Smith & R. J. Shively - 2016 - Ergon. Des 24.
     
    Export citation  
     
    Bookmark  
  35. Akrasia and Enkrateia in Ancient Stoicism: minor vice and minor virtue?J. B. Gourinat - 2007 - In Christopher Bobonich & Pierre Destrée (eds.), Akrasia in Greek philosophy: from Socrates to Plotinus. Boston: Brill. pp. 215--247.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  36.  8
    Plato.J. B. Skemp - 1976 - Oxford [Eng.]: Clarendon Press.
    Plato's "Politicus" (Statesman) stands, both in date and in political thought, between the "Republic" and the "Laws". It presents his thought at the point when he was chastened by disappointment with his attempts to put theory into practice at Syracuse. The dialogue reflects contemporary controversies on the method of definition; but its logical exercises and the impressive 'myth' of the two cosmic eras serve to bring out its essential political teaching. This volume contains the text in translation. In this second (...)
  37. The nature of life mark A. Bedau.J. B. S. Haldane, J. Lovelock & C. Taylor - 1996 - In Margaret A. Boden (ed.), The philosophy of artificial life. New York: Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Contrast dependence of contextual effects in macaque striate cortex.J. B. Levitt & J. S. Lund - 1996 - In Enrique Villanueva (ed.), Perception. Ridgeview. pp. 22-22.
  39.  13
    J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 , pp. 177–192. [REVIEW]Burton Spencer Dreben - 1950 - Journal of Symbolic Logic 14 (4):259-260.
  40.  8
    Review: J. B. Rosser, A. R. Turquette, Many-Valued Logics. [REVIEW]Boleslaw Sobocinski - 1955 - Journal of Symbolic Logic 20 (1):45-50.
  41.  11
    Rosser J. Barkley. Logique combinatoire et λ-conversion. Deux esquisses de logique, Gauthier-Villars, Paris 1953, pp. 3–31.Rosser J. Barkley. Les modulès des logiques formelles. Deux esquisses de logique, Gauthier-Villars, Paris 1953, pp. 33–65. [REVIEW]Frederic B. Fitch - 1957 - Journal of Symbolic Logic 22 (3):293-293.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  36
    The Idea of Progress an Inquiry Into its Origin and Growth.J.-B. BURY - 1920 - Macmillan & Co..
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  43.  55
    Perceptual differences of sales practitioners and students concerning ethical behavior.J. B. DeConinck & D. J. Good - 1989 - Journal of Business Ethics 8 (9):667 - 676.
    This study investigates specific behavioral perceptual differences of ethics between practitioners and students enrolled in sales classes. Respondents were asked to indicate their beliefs to issues related to ethics in sales. A highly significant difference was found between mean responses of students and sales personnel. Managers indicated a greater concern for ethical behavior and less attention to sales than did the students. Students indicated a strong desire for success regardless of ethical constraints violated.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  44. Neuronal mechanisms of consciousness: A relational global workspace approach.Bernard J. Baars, J. B. Newman & John G. Taylor - 1998 - In Stuart R. Hameroff, Alfred W. Kaszniak & Alwyn Scott (eds.), Toward a Science of Consciousness II: The Second Tucson Discussions and Debates. MIT Press. pp. 269-278.
    This paper explores a remarkable convergence of ideas and evidence, previously presented in separate places by its authors. That convergence has now become so persuasive that we believe we are working within substantially the same broad framework. Taylor's mathematical papers on neuronal systems involved in consciousness dovetail well with work by Newman and Baars on the thalamocortical system, suggesting a brain mechanism much like the global workspace architecture developed by Baars (see references below). This architecture is relational, in the sense (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  16
    The Ethics and Politics of Microaffirmations.J. B. Delston - 2021 - Philosophy of Management 20 (4):411-429.
    The role of microaggressions has gained increasing philosophical attention in recent years. However, microaggressions only tell part of the story. An often-overlooked component of inequality is the uneven and unjust distribution of microaffirmations. In this paper, I give a new definition of microaffirmations as signals that a recipient belongs to some valued or high-status class. Microaffirmations can—but need not—lead individuals to gain a sense of confidence, belonging, and merit. I then explain the harms of microaffirmations, arguing that when microaffirmations are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Context, conditioning, and meaning of time-consciousness in a trappist monastery.V. A. Reidhead & J. B. Wolford - 1998 - In Stuart R. Hameroff, Alfred W. Kaszniak & Alwyn Scott (eds.), Toward a Science of Consciousness II: The Second Tucson Discussions and Debates. MIT Press.
     
    Export citation  
     
    Bookmark  
  47. Self-awareness and other-awareness.J. B. Asendorpf, V. Warkentin & P. Baudonniere - 1996 - Ii 32.
  48.  44
    The uncertain reasoner's companion: a mathematical perspective.J. B. Paris - 1994 - New York: Cambridge University Press.
    Reasoning under uncertainty, that is, making judgements with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical foundations of the subject. It is suited for readers with some knowledge of undergraduate mathematics but is otherwise self-contained, collecting together the key results on the subject, and formalising within a unified framework the main contemporary approaches and assumptions. The author has concentrated on giving clear mathematical formulations, analyses, justifications and consequences of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   49 citations  
  49.  28
    Plato's Phaedrus.Plato's Statesman.R. Hackforth & J. B. Skemp - 1953 - Philosophical Review 62 (2):293-296.
  50.  71
    Real space and represented space: Cross-cultural perspectives.J. B. Deregowski - 1989 - Behavioral and Brain Sciences 12 (1):51-74.
1 — 50 / 1000