Results for 'William M. Farmer'

(not author) ( search as author name )
999 found
Order:
  1.  38
    A Partial Functions Version of Church's Simple Theory of Types.William M. Farmer - 1990 - Journal of Symbolic Logic 55 (3):1269-1291.
    Church's simple theory of types is a system of higher-order logic in which functions are assumed to be total. We present in this paper a version of Church's system called PF in which functions may be partial. The semantics of PF, which is based on Henkin's general-models semantics, allows terms to be nondenoting but requires formulas to always denote a standard truth value. We prove that PF is complete with respect to its semantics. The reasoning mechanism in PF for partial (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  14
    The Seven Virtues of Simple Type Theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.
  3.  13
    A Unification-Theoretic Method for Investigating the K-Provability Problem.William M. Farmer - 1991 - Annals of Pure and Applied Logic 51 (3):173-214.
    The k-provability for an axiomatic system A is to determine, given an integer k 1 and a formula in the language of A, whether or not there is a proof of in A containing at most k lines. In this paper we develop a unification-theoretic method for investigating the k-provability problem for Parikh systems, which are first-order axiomatic systems that contain a finite number of axiom schemata and a finite number of rules of inference. We show that the k-provability problem (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  17
    Jan Krajíček and Pavel Pudlák. The Number of Proof Lines and the Size of Proofs in First Order Logic. Archive for Mathematical Logic, Vol. 27 , Pp. 69–84. [REVIEW]William M. Farmer - 1989 - Journal of Symbolic Logic 54 (3):1107-1108.
  5.  3
    A Unification Algorithm for Second-Order Monadic Terms.William M. Farmer - 1988 - Annals of Pure and Applied Logic 39 (2):131-174.
    This paper presents an algorithm that, given a finite set E of pairs of second-order monadic terms, returns a finite set U of ‘substitution schemata’ such that a substitution unifies E iff it is an instance of some member of U . Moreover, E is unifiable precisely if U is not empty. The algorithm terminates on all inputs, unlike the unification algorithms for second-order monadic terms developed by G. Huet and G. Winterstein. The substitution schemata in U use expressions which (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  14
    A Simple Type Theory with Partial Functions and subtypes11Supported by the MITRE-Sponsored Research Program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science Held in Uppsala, Sweden, August 7-14, 1991. [REVIEW]William M. Farmer - 1993 - Annals of Pure and Applied Logic 64 (3):211-240.
    Simple type theory is a higher-order predicate logic for reasoning about truth values, individuals, and simply typed total functions. We present in this paper a version of simple type theory, called PF*, in which functions may be partial and types may have subtypes. We define both a Henkin-style general models semantics and an axiomatic system for PF*, and we prove that the axiomatic system is complete with respect to the general models semantics. We also define a notion of an interpretation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  9
    Jan Krajíček. On the Number of Steps in Proofs. Annals of Pure and Applied Logic, Vol. 41 , Pp. 153–178.William M. Farmer - 1991 - Journal of Symbolic Logic 56 (1):334-335.
  8.  11
    A Simple Type Theory With Partial Functions And Subtypes.William M. Farmer - 1993 - Annals of Pure and Applied Logic 64 (3):211-240.
    Simple type theory is a higher-order predicate logic for reasoning about truth values, individuals, and simply typed total functions. We present in this paper a version of simple type theory, called PF*, in which functions may be partial and types may have subtypes. We define both a Henkin-style general models semantics and an axiomatic system for PF*, and we prove that the axiomatic system is complete with respect to the general models semantics. We also define a notion of an interpretation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  27
    Reasoning About Partial Functions with the Aid of a Computer.William M. Farmer - 1995 - Erkenntnis 43 (3):279 - 294.
    Partial functions are ubiquitous in both mathematics and computer science. Therefore, it is imperative that the underlying logical formalism for a general-purpose mechanized mathematics system provide strong support for reasoning about partial functions. Unfortunately, the common logical formalisms — first-order logic, type theory, and set theory — are usually only adequate for reasoning about partial functionsin theory. However, the approach to partial functions traditionally employed by mathematicians is quite adequatein practice. This paper shows how the traditional approach to partial functions (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  45
    A Set Theory with Support for Partial Functions.William M. Farmer & Joshua D. Guttman - 2000 - Studia Logica 66 (1):59-78.
    Partial functions can be easily represented in set theory as certain sets of ordered pairs. However, classical set theory provides no special machinery for reasoning about partial functions. For instance, there is no direct way of handling the application of a function to an argument outside its domain as in partial logic. There is also no utilization of lambda-notation and sorts or types as in type theory. This paper introduces a version of von-Neumann-Bernays-Gödel set theory for reasoning about sets, proper (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11.  11
    Wos Larry. Automated Reasoning: 33 Basic Research Problems. Prentice Hall, Englewood Cliffs, N.J., 1988, Xiii + 319 Pp. [REVIEW]William M. Farmer - 1988 - Journal of Symbolic Logic 53 (4):1258-1259.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  11
    Review: Jan Krajicek, On the Number of Steps in Proofs. [REVIEW]William M. Farmer - 1991 - Journal of Symbolic Logic 56 (1):334-335.
  13. Review: Larry Wos, Automated Reasoning: 33 Basic Research Problems. [REVIEW]William M. Farmer - 1988 - Journal of Symbolic Logic 53 (4):1258-1259.
  14. Theory Interpretations in Computerized Mathematics.William M. Farmer - 1992 - Journal of Symbolic Logic 57 (1):356.
  15. François Lepage, Elias Thijsse, Heinrich Wansing/In-Troduction 1 J. Michael Dunn/Partiality and its Dual 5 Jan van Eijck/Making Things Happen 41 William M. Farmer, Joshua D. Guttman/A Set Theory. [REVIEW]René Lavendhomme, Thierry Lucas & Sequent Calculi - 2000 - Studia Logica 66:447-448.
  16.  16
    Freedom and the Moral Life: The Ethics of William James. [REVIEW]B. M. M. - 1971 - Review of Metaphysics 25 (1):136-136.
    Freedom and unity are the values James most wanted to protect and to extend. Roth agrees with this choice, and recommends James to his readers as the moral philosopher who can best show us how. James is presented as combining a principled morality with the responsiveness to particular cases characteristic of existentialism and situational ethics, and his ethics is found to yield what John Wild would call a "primary existential norm": Act so as to maximize freedom and unity. While the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  27
    A Medieval Capital and Its Grain Supply: Agrarian Production and Distribution in the London Region C. 1300.Bruce M. S. Campbell, James A. Galloway, Derek Keene, Margaret Murphy. [REVIEW]D. L. Farmer - 1994 - Speculum 69 (4):1135-1135.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  31
    William Lane Craig (Ed.) Philosophy of Religion: A Guide and Reader. (Edinburgh: Edinburgh University Press, 2001). Pp. Vi+634. £17.99 (Pbk). ISBN 0 7486 1462 1. [REVIEW]W. F. S. M. - 2002 - Religious Studies 38 (3):371-373.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  26
    William Hasker, David Basinger and Eef Dekker (Eds) Middle Knowledge: Theory and Applications. Contributions to Philosophical Theology, 4 (Frankfurt Am Main: Peter Lang, 2000). Pp. Vii+309. ISBN 3 631 36288 9. [REVIEW]W. F. S. M. - 2000 - Religious Studies 36 (3):375-376.
  20.  8
    The Tractatus de Successivis Attributed to William Ockham.E. A. M. - 1944 - Journal of Philosophy 41 (21):584.
  21.  13
    Book Review:Ethics and Some Modern World Problems. William McDougall. [REVIEW]J. M. - 1925 - Ethics 35 (2):191-.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  23
    Identity: Youth and Crisis. [REVIEW]B. M. M. - 1969 - Review of Metaphysics 22 (4):750-751.
    Erikson is Professor of Human Development at Harvard, a psychoanalyst, and the author of the widely influential books, Young Man Luther, and Childhood and Society. What is the relevance of his latest book to philosophy? One answer is that Erikson deals with several concepts of personal identity which philosophers will recognize as corresponding to historical philosophic positions. He does not choose between these disparate views, but correlates them, treating each as partial, and learning about his complex subject from the habits (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  8
    Exact Philosophy: Problems, Tools and Goals. [REVIEW]H. M. - 1974 - Review of Metaphysics 27 (4):787-787.
    This book consists of a series of papers "read and discussed at the first Symposium of Exact Philosophy" at Montreal in 1971. "Exact philosophy," the editor says, means "mathematical philosophy, i.e., philosophy done with the explicit help of mathematical logic and mathematics." Judging from the contents, a more accurate statement would be that "exact philosophy" means formal semantics and modal logic. Two thirds of the papers are on these topics. The others include an essay on "Concepts of Randomness" by Peter (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  33
    Research Biopsies in Phase I Studies: Views and Perspectives of Participants and Investigators.R. D. Pentz, R. D. Harvey, M. White, Z. L. Farmer, O. Dashevskaya, Z. Chen, C. Lewis, T. K. Owonikoko & F. R. Khuri - 2012 - IRB: Ethics & Human Research 34 (2):1-8.
    In many research studies, tumor biopsies are an unavoidable requirement for achieving key scientific aims. Yet some commentators view mandatory research biopsies as coercive and suggest they should be optional, or at least optional until further data are obtained regarding their scientific usefulness. Further complicating the ethical picture is the fact that some research biopsies offer a potential for clinical benefit to trial participants. We interviewed and surveyed a convenience sample of participants in phase I clinical trials at a single (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    Socialism: Feasibility and Reality.M. Mandel William - 1993 - Science and Society 57 (3):349 - 355.
  26. From Class to Mass Sociology and the Science of Education.M. William - 1975 - Paideia 4:115.
     
    Export citation  
     
    Bookmark  
  27. Some Remarks on Emotion, Cognition, and Connectionist Systems William M. Rayburn Joachim Diederich* Division of Computer Science Department of Psychology University of California, Davis.William M. Rayburn Joachim Diederich - 1990 - In G. Dorffner (ed.), Konnektionismus in Artificial Intelligence Und Kognitionsforschung. Berlin: Springer-Verlag. pp. 191.
  28.  74
    William M. Ramsey * Representation Reconsidered.M. Sprevak - 2011 - British Journal for the Philosophy of Science 62 (3):669-675.
  29.  10
    William M. Taylor, The Vital Landscape: Nature and the Built Environment in Nineteenth-Century Britain. Aldershot: Ashgate, 2004. Pp. Xvii+252. ISBN 0-7546-3069-2. £45.00. [REVIEW]J. F. M. Clark - 2007 - British Journal for the History of Science 40 (3):446.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  9
    A Medieval Italian Commune: Siena Under the Nine, 1287-1355. William M. Bowsky.John M. Najemy - 1983 - Speculum 58 (4):1029-1033.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  9
    David L. Lentz . Imperfect Balance: Landscape Transformations in the Precolumbian Americas. Foreword by, William M. Denevan. Xxiv + 547 Pp., Illus., Figs., Apps., Bibls., Index.New York: Columbia University Press, 2000. $65, £41.50 ; $30, £19.50. [REVIEW]Thomas M. Whitmore - 2002 - Isis 93 (1):107-108.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. L'esprit autrichien (à propos de William M. Johnston: "L'esprit viennois).M. Pollack - 1988 - Revue Philosophique de la France Et de l'Etranger 1:67-73.
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Understanding Curriculum: An Introduction to the Study of Historical and Contemporary Curriculum Discourses (William Pinar, William M. Reynolds, Patrick Slattery and Peter M. Taubman). [REVIEW]M. Peters - 1999 - Educational Philosophy and Theory 31:254-258.
     
    Export citation  
     
    Bookmark  
  34. Pt. 3. James and Mysticism. For an Engaged Reading : William James and the Varieties of Postmodern Religious Experience / Grace M. Jantzen ; Asian Religions and Mysticism : The Legacy of William James in the Study of Religions / Richard King ; James and Freud on Mysticism / Robert A. Segal ; Mystical Assessments : Jamesian Reflections on Spiritual Judgments. [REVIEW]G. William Barnard - 2005 - In Jeremy R. Carrette (ed.), William James and the Varieties of Religious Experience: A Centenary Celebration. Routledge.
  35.  15
    Greek Anthology, Books V–VII. Translated by Arthur S. Way. Pp. 286. London: Macmillan, 1939. 8s. 6d. - Asklepiades of Samos. By William and Mary Wallace. Pp. Xv + 107. Oxford: University Press, 1941. 7s. 6d. - Anthologie Grecque: Anthologie Palatine Livre VII, 1–363). Text by P. Waltz; Translation by A. M. Desrousseaux, A. Dain, P. Camelot and E. Des Places, Pp. 360. Paris: L'Association G. Budé, 1938. 50 Fr. - Aeschylus, Prometheus Bound. Translated by R. C. Trevelyan. Pp. 48. Cambridge: University Press, 1939. 2s. 6d. - Euripides, Medea. Translated by R. C. Trevelyan. Pp. 58. Cambridge: University Press, 1939. 2s. 6d. - Sophocles, Antigone. An English Version. By D. Fitts and R. Fitzgerald. Pp. 98. Oxford: University Press, 1939. 7s. 6d. [REVIEW]Edward S. Forster, Arthur S. Way, William, Mary Wallace, P. Waltz, A. M. Desrousseaux, A. Dain, P. Camelot, E. des Places, R. C. Trevelyan, D. Fitts & R. Fitzgerald - 1942 - Journal of Hellenic Studies 62:93-94.
  36.  7
    William Woodford, O.F.M., and John Wyclif's De Religione.Eric Doyle - 1977 - Speculum 52 (2):329-336.
    William Woodford, O.F.M. , contemporary and opponent of John Wyclif, on a number of occasions quotes from or mentions a work by Wyclif which he calls De religione. Thus, for example, in his Responsiones contra Wiclevum et Lollardos, composed in the autumn of 1395, his reply to the fortieth question concerning the lawfulness of begging begins as follows: “Hic respondeo et dico quod Magister Joannes Wyclif cuius discipulus tu es, quaerit istam quaestionem in primo capitulo libri quem fecit de (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. Representation Reconsidered by William M. Ramsey [Book Review].R. Grush - forthcoming - Notre Dame Philosophical Reviews.
     
    Export citation  
     
    Bookmark   3 citations  
  38.  36
    St. Augustine: The City of God. Vol. Ii: Books Iv–Vii with an English Translation by William M. Green. Vol. V: Books Xvi–Xviii. 35 with an English Translation by Eva M. Sandford and W. M. Green. (Loeb Classical Library.) Pp. Xxxvi+505, Xvi+509. London: Heinemann, 1963, 1965. Cloth, 25s. Net Each. [REVIEW]S. L. Greenslade - 1966 - The Classical Review 16 (3):413-413.
  39. Werner Jaeger (1888–1961) William M. Calder III (Ed.): Werner Jaeger Reconsidered: Proceedings of the Second Oldfather Conference Held on the Campus of the University of Illinois at Urbana–Champaign April 26–28, 1990.(Illinois Classical Studies, Suppl. 3 = Illinois Studies in the History of Classical Scholarship, 2.) Pp. Xiv+327. Atlanta, GA: Scholars Press, 1992. Paper, $44.95 ($29.95 to Members). [REVIEW]W. Geoffrey Arnott - 1994 - The Classical Review 44 (01):187-189.
  40.  36
    William M. Aird, Robert Curthose, Duke of Normandy, C. 1050–1134. Woodbridge, Eng., and Rochester, N.Y.: Boydell and Brewer, 2008. Pp. Xx, 328; 1 Genealogical Table and Maps. $115.Constance B. Bouchard - 2009 - Speculum 84 (4):1009-1010.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  19
    William M. CalderIII: Ulrich von Wilamowitz-Moellendorff, Selected Correspondence 1869–1931. Pp. Xiv+330; 3 Plates. Naples: Jovene, 1983. Paper. [REVIEW]Nicholas Horsfall - 1984 - The Classical Review 34 (1):158-158.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  11
    William M. CalderIII, Robert L. Fowler: The Preserved Letters of Ulrich von Wilamowitz-Moellendorff to Eduard Schwartz. Edited with Introduction and Commentary. Pp. 116. Munich: Verlag der Bayerischen Akademie der Wissenschaften, 1986. Paper. [REVIEW]Nicholas Horsfall - 1988 - The Classical Review 38 (1):191-191.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  31
    "Aristotle. Rhetoric II. A Commentary", by William M.A. Grimaldi, S.J. [REVIEW]Walter P. Krolikowski - 1992 - Ancient Philosophy 12 (1):209.
  44.  44
    The Naturalists and the Supernatural: Studies in Horizon and an American Philosophy of Religion. By William M. Shea.F. J. Malecek - 1987 - Modern Schoolman 65 (1):77-77.
  45.  27
    William M. Johnston, "The Formative Years of R. G. Collingwood". [REVIEW]Alan Donagan - 1969 - Journal of the History of Philosophy 7 (2):219.
  46.  29
    Roger S. Wieck, The Prayer Book of Anne de Bretagne: MS M. 50, the Pierpont Morgan Library, New York. With a Contribution by K. Michelle Hearne. Lucerne: Faksimile Verlag Luzern, 1999. Pp. 216; Black-and-White Frontispiece, 16 Black-and-White Figures, and Diagrams. Roger S. Wieck, William M. Voelkle, and K. Michelle Hearne, The Hours of Henry VIII: A Renaissance Masterpiece by Jean Poyet. New York: George Braziller, in Association with the Pierpont Morgan Library, 2000. Pp. X, 194; Color Frontispiece, 45 Blackand-White Figures, Color Facsimiles, and 1 Diagram. $60. [REVIEW]Myra Dickman Orth - 2001 - Speculum 76 (4):1124-1126.
  47.  9
    Hermeneutics in Anthropology: Interpretive Social Science: A Reader. Paul Rabinow, William M. Sullivan. ; The Said and the Unsaid: Mind, Meaning and Culture. Stephen R. Tyler. [REVIEW]Michael Agar - 1980 - Ethos: Journal of the Society for Psychological Anthropology 8 (3):253-272.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  21
    Review of Going Forth: Visions of the Buddhist Vinaya by William M. Bodiford. [REVIEW]Mario Poceski - 2007 - Philosophy East and West 57 (3):392-396.
  49.  11
    Book Review: Sir William M. Ramsay: Archaeologist and New Testament Scholar. [REVIEW]F. V. Filson - 1967 - Interpretation 21 (3):357-358.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  33
    Book Review:Habits of the Heart: Individualism and Commitment in American Life. Robert N. Bellah, Richard Madsen, William M. Sullivan, Ann Swidler, Steven M. Tipton. [REVIEW]Robert E. Goodin - 1986 - Ethics 96 (2):431-.
1 — 50 / 999