Results for 'F. G. Miller'

1000+ found
Order:
  1.  19
    Is it ethical to keep interim findings of randomised controlled trials confidential?F. G. Miller & D. Wendler - 2008 - Journal of Medical Ethics 34 (3):198-201.
    Data monitoring committees often are employed to review interim findings of randomised controlled trials. Interim findings are kept confidential until the data monitoring committee finds that they provide sufficiently compelling evidence regarding efficacy, typically because they have crossed the pre-defined statistical boundaries, or they raise serious concerns about safety. While this practice is vital to maintaining the scientific integrity of controlled trials and thereby ensuring their social value, it has been criticised as unethical. Commentators argue that withholding interim findings from (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  21
    Acupuncture trials and informed consent.F. G. Miller & T. J. Kaptchuk - 2007 - Journal of Medical Ethics 33 (1):43-44.
    Participants are often not informed by investigators who conduct randomised, placebo-controlled acupuncture trials that they may receive a sham acupuncture intervention. Instead, they are told that one or more forms of acupuncture are being compared in the study. This deceptive disclosure practice lacks a compelling methodological rationale and violates the ethical requirement to obtain informed consent. Participants in placebo-controlled acupuncture trials should be provided an accurate disclosure regarding the use of sham acupuncture, consistent with the practice of placebo-controlled drug trials.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  82
    The Dead Donor Rule: Can It Withstand Critical Scrutiny?F. G. Miller, R. D. Truog & D. W. Brock - 2010 - Journal of Medicine and Philosophy 35 (3):299-312.
    Transplantation of vital organs has been premised ethically and legally on "the dead donor rule" (DDR)—the requirement that donors are determined to be dead before these organs are procured. Nevertheless, scholars have argued cogently that donors of vital organs, including those diagnosed as "brain dead" and those declared dead according to cardiopulmonary criteria, are not in fact dead at the time that vital organs are being procured. In this article, we challenge the normative rationale for the DDR by rejecting the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  4.  69
    Payment for research participation: a coercive offer?A. Wertheimer & F. G. Miller - 2008 - Journal of Medical Ethics 34 (5):389-392.
    Payment for research participation has raised ethical concerns, especially with respect to its potential for coercion. We argue that characterising payment for research participation as coercive is misguided, because offers of benefit cannot constitute coercion. In this article we analyse the concept of coercion, refute mistaken conceptions of coercion and explain why the offer of payment for research participation is never coercive but in some cases may produce undue inducement.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  5.  34
    Limits to research risks.F. G. Miller & S. Jofe - 2009 - Journal of Medical Ethics 35 (7):445-449.
    Risk–benefit assessment is a routine requirement for research ethics committees that review and oversee biomedical research with human subjects. Nevertheless, it remains unclear how to weigh and balance risks to research participants against the social benefits that flow from generating biomedical knowledge. In this article, we address the question of whether there are any reasonable criteria for defining the limit of permissible risks to individuals who provide informed consent for research participation. We argue against any a priori limit to permissible (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  6.  83
    Understanding and Harnessing Placebo Effects: Clearing Away the Underbrush.F. G. Miller & H. Brody - 2011 - Journal of Medicine and Philosophy 36 (1):69-78.
    Despite strong growth in scientific investigation of the placebo effect, understanding of this phenomenon remains deeply confused. We investigate critically seven common conceptual distinctions that impede clear understanding of the placebo effect: (1) verum/placebo, (2) active/inactive, (3) signal/noise, (4) specific/nonspecific, (5) objective/subjective, (6) disease/illness, and (7) intervention/context. We argue that some of these should be eliminated entirely, whereas others must be used with caution to avoid bias. Clearing away the conceptual underbrush is needed to lay down a path to understanding (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  7.  59
    Assessing research risks systematically: the net risks test.D. Wendler & F. G. Miller - 2007 - Journal of Medical Ethics 33 (8):481-486.
    Dual-track assessment directs research ethics committees to assess the risks of research interventions based on the unclear distinction between therapeutic and non-therapeutic interventions. The net risks test, in contrast, relies on the clinically familiar method of assessing the risks and benefits of interventions in comparison to the available alternatives and also focuses attention of the RECs on the central challenge of protecting research participants.Research guidelines around the world recognise that clinical research is ethical only when the risks to participants are (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  8.  33
    A public health perspective on research ethics.D. R. Buchanan & F. G. Miller - 2006 - Journal of Medical Ethics 32 (12):729-733.
    Ethical guidelines for conducting clinical trials have historically been based on a perceived therapeutic obligation to treat and benefit the patient-participants. The origins of this ethical framework can be traced to the Hippocratic oath originally written to guide doctors in caring for their patients, where the overriding moral obligation of doctors is strictly to do what is best for the individual patient, irrespective of other social considerations. In contrast, although medicine focuses on the health of the person, public health is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  9.  75
    There are (STILL) no coercive offers.A. Wertheimer & F. G. Miller - 2014 - Journal of Medical Ethics 40 (9):592-593.
    John McMillan's article raises numerous important points about the ethics of surgical castration of sex offenders.1 In this commentary, we focus solely on and argue against the claim that the offer of release from detention conditional upon surgical castration is a coercive offer that compromises the validity of the offender's consent. We take no view on the question as to whether castration for sex offenders is ethically permissible. But, we reject the claim that it is ethically permissible only if competing (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  10.  54
    Decapitation and the definition of death.F. G. Miller & R. D. Truog - 2010 - Journal of Medical Ethics 36 (10):632-634.
    Although established in the law and current practice, the determination of death according to neurological criteria continues to be controversial. Some scholars have advocated return to the traditional circulatory and respiratory criteria for determining death because individuals diagnosed as ‘brain dead’ display an extensive range of integrated biological functioning with the aid of mechanical ventilation. Others have attempted to refute this stance by appealing to the analogy between decapitation and brain death. Since a decapitated animal is obviously dead, and ‘brain (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  11. Protecting human subjects in brain research: a pragmatic perspective.F. G. Miller, J. J. Fins & J. Illes - forthcoming - Neuroethics. Defining the Issues in Theory, Practice and Policy.
     
    Export citation  
     
    Bookmark   4 citations  
  12.  30
    Women’s fertility across the cycle increases the short-term attractiveness of creative intelligence.Martie G. Haselton & Geoffrey F. Miller - 2006 - Human Nature 17 (1):50-73.
    Male provisioning ability may have evolved as a “good dad” indicator through sexual selection, whereas male creativity may have evolved partly as a “good genes” indicator. If so, women near peak fertility (midcycle) should prefer creativity over wealth, especially in short-term mating. Forty-one normally cycling women read vignettes describing creative but poor men vs. uncreative but rich men. Women’s estimated fertility predicted their short-term (but not long-term) preference for creativity over wealth, in both their desirability ratings of individual men (r=.40, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  13.  26
    The search for clarity in communicating research results to study participants.D. I. Shalowitz & F. G. Miller - 2008 - Journal of Medical Ethics 34 (9):e17-e17.
    Current guidelines on investigators' responsibilities to communicate research results to study participants may differ on whether investigators should proactively re-contact participants, the type of results to be offered, the need for clinical relevance before disclosure, and the stage of research at which results should be offered. Lack of consistency on these issues, however, does not undermine investigators' obligation to offer to disclose research results: an obligation rooted firmly in the principle of respect for research participants.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Clinical equipoise and the therapeutic misconception-Miller and Brody reply.F. G. Miller & H. Brody - 2003 - Hastings Center Report 33 (5):7-7.
     
    Export citation  
     
    Bookmark  
  15. Ethics: Death and organ donation: back to the future.F. G. Miller - 2009 - Journal of Medical Ethics 35 (10):616-620.
    The practice of transplantation of vital organs from “brain-dead” donors is in a state of theoretical disarray. Although the law and prevailing medical ethics treat patients diagnosed as having irreversible total brain failure as dead, scholars have increasingly challenged the established rationale for regarding these patients as dead. To understand the ethical situation that we now face, it is helpful to revisit the writings of the philosopher Hans Jonas, who forcefully challenged the emerging effort to redefine death in the late (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  16.  3
    Ethics is everybody's concern.F. G. Miller - 1990 - Journal of Clinical Ethics 1 (4):326.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  10
    Importance of understanding suffering for clinical ethics.F. G. Miller - 1990 - Journal of Clinical Ethics 2 (4):290-291.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  13
    The State of Research Ethics: A Tribute to John C. Fletcher.F. G. Miller & J. D. Moreno - 2005 - Journal of Clinical Ethics 16 (4):355-364.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Evidence for ovulatory shifts in attraction to artistic and entrepreneurial excellence.M. G. Haselton & G. F. Miller - forthcoming - Human Nature.
     
    Export citation  
     
    Bookmark  
  20.  67
    Death and legal fictions.S. K. Shah, R. D. Truog & F. G. Miller - 2011 - Journal of Medical Ethics 37 (12):719-722.
    Advances in life-saving technologies in the past few decades have challenged our traditional understandings of death. Traditionally, death was understood to occur when a person stops breathing, their heart stops beating and they are cold to the touch. Today, physicians determine death by relying on a diagnosis of ‘total brain failure’ or by waiting a short while after circulation stops. Evidence has emerged, however, that the conceptual bases for these approaches to determining death are fundamentally flawed and depart substantially from (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  21.  40
    Money, coercion, and undue inducement: attitudes about payments to research participants.E. A. Largent, C. Grady, F. G. Miller & A. Wertheimer - 2012 - IRB: Ethics & Human Research 34 (1):1-8.
    Using payment to recruit research subjects is a common practice, but it raises ethical concerns that coercion or undue inducement could potentially compromise participants’ informed consent. This is the first national study to explore the attitudes of IRB members and other human subjects protection professionals concerning whether payment of research participants constitutes coercion or undue influence, and if so, why. The majority of respondents expressed concern that payment of any amount might influence a participant’s decisions or behaviors regarding research participation. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  22. Healing relationships and the existential philosophy of Martin Buber.John G. Scott, Rebecca G. Scott, William L. Miller, Kurt C. Stange & Benjamin F. Crabtree - 2009 - Philosophy, Ethics, and Humanities in Medicine 4:11-.
    The dominant unspoken philosophical basis of medical care in the United States is a form of Cartesian reductionism that views the body as a machine and medical professionals as technicians whose job is to repair that machine. The purpose of this paper is to advocate for an alternative philosophy of medicine based on the concept of healing relationships between clinicians and patients. This is accomplished first by exploring the ethical and philosophical work of Pellegrino and Thomasma and then by connecting (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  19
    Misunderstanding, period.H. Brody, D. Buchanan & F. G. Miller - 2011 - IRB: Ethics & Human Research 33 (5):6.
    A letter to the editor from Howard Brody, David Buchanan, and Franklin G. Miller in response to the recent article by Erik Malmqvist Understanding Exploitation," March-April 2011).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Phenomenology of Spirit.G. W. F. Hegel & A. V. Miller - 1977 - International Journal for Philosophy of Religion 10 (4):268-271.
     
    Export citation  
     
    Bookmark   502 citations  
  25. Phenomenology of Spirit.G. W. F. Hegel, A. V. Miller & J. N. Findley - 1978 - Revue Philosophique de la France Et de l'Etranger 168 (1):116-117.
     
    Export citation  
     
    Bookmark   52 citations  
  26.  38
    Book Review Section 2. [REVIEW]Richard A. Brosio, Ann Franklin, Erskine S. Dottin, David Slive, Milton K. Reimer, Thomas A. Brindley, F. C. Rankine, Stephen K. Miller, Clifford A. Hardy, Roy L. Cox, John T. Zepper, Paul W. Beals, William E. Roweton, Cheryl G. Kasson, George W. Bright & Robert Newton Barger - 1981 - Educational Studies 12 (3):328-349.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  22
    Development of an expressed sequence tag resource for wheat : EST generation, unigene analysis, probe selection and bioinformatics for a 16,000-locus bin-delineated map. [REVIEW]G. R. Lazo, S. Chao, D. D. Hummel, H. Edwards, C. C. Crossman, N. Lui, D. E. Matthews, V. L. Carollo, D. L. Hane, F. M. You, G. E. Butler, R. E. Miller, T. J. Close, J. H. Peng, N. L. V. Lapitan, J. P. Gustafson, L. L. Qi, B. Echalier, B. S. Gill, M. Dilbirligi, H. S. Randhawa, K. S. Gill, R. A. Greene, M. E. Sorrells, E. D. Akhunov, J. Dvořák, A. M. Linkiewicz, J. Dubcovsky, K. G. Hossain, V. Kalavacharla, S. F. Kianian, A. A. Mahmoud, Miftahudin, X. -F. Ma, E. J. Conley, J. A. Anderson, M. S. Pathan, H. T. Nguyen, P. E. McGuire, C. O. Qualset & O. D. Anderson - unknown
    This report describes the rationale, approaches, organization, and resource development leading to a large-scale deletion bin map of the hexaploid wheat genome. Accompanying reports in this issue detail results from chromosome bin-mapping of expressed sequence tags representing genes onto the seven homoeologous chromosome groups and a global analysis of the entire mapped wheat EST data set. Among the resources developed were the first extensive public wheat EST collection. Described are protocols for sequencing, sequence processing, EST nomenclature, and the assembly of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. The Genesis of Language, a Psycholinguistic Approach. Proceedings of a Conference on Language Development in Children.F. Smith & G. A. Miller - 1970 - Foundations of Language 6 (4):580-583.
     
    Export citation  
     
    Bookmark  
  29.  57
    Science of Logic.M. J. Petry, G. W. F. Hegel, A. V. Miller & J. N. Findlay - 1970 - Philosophical Quarterly 20 (80):273.
    First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   185 citations  
  30.  23
    Adverstising for Clinical Research.Franklin G. Miller & Andrew F. Short - 1999 - IRB: Ethics & Human Research 21 (5):1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  14
    New Cardiovascular Drugs: Patterns of Use and Association with Non-Drug Health Expenditures.G. Edward Miller, John F. Moeller & Randall S. Stafford - 2005 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 42 (4):397-412.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  24
    Authors' Response.G. E. Miller, J. F. Moeller & R. S. Stafford - 2006 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 43 (1):82-84.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  15
    Influencing memory for people and their actions.David G. Miller & Elizabeth F. Loftus - 1976 - Bulletin of the Psychonomic Society 7 (1):9-11.
  34. Mate choice: a cognitive perspective.G. F. Miller - 1998 - Trends in Cognitive Sciences 2:161-201.
  35. Objective-measure of apparent motion by phase discrimination.G. F. Miller & R. N. Shepard - 1988 - Bulletin of the Psychonomic Society 26 (6):514-514.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  22
    Reverseα–α´ phase separation in Fe-20Cr-6Al alloy.C. Capdevila, M. K. Miller, F. A. López, G. Pimentel & J. Chao - 2013 - Philosophical Magazine 93 (14):1640-1651.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Creature motion.J. J. Freyd & G. F. Miller - 1992 - Bulletin of the Psychonomic Society 30 (6):470-470.
     
    Export citation  
     
    Bookmark   2 citations  
  38.  11
    The drive theory of social facilitation.Robert F. Weiss & Franklin G. Miller - 1971 - Psychological Review 78 (1):44-57.
  39. Reframing Consent for Clinical Research: A Function-Based Approach.Scott Y. H. Kim, David Wendler, Kevin P. Weinfurt, Robert Silbergleit, Rebecca D. Pentz, Franklin G. Miller, Bernard Lo, Steven Joffe, Christine Grady, Sara F. Goldkind, Nir Eyal & Neal W. Dickert - 2017 - American Journal of Bioethics 17 (12):3-11.
    Although informed consent is important in clinical research, questions persist regarding when it is necessary, what it requires, and how it should be obtained. The standard view in research ethics is that the function of informed consent is to respect individual autonomy. However, consent processes are multidimensional and serve other ethical functions as well. These functions deserve particular attention when barriers to consent exist. We argue that consent serves seven ethically important and conceptually distinct functions. The first four functions pertain (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  40. Multiplex genetic testing.C. W. Plows, R. M. Tenery, A. Hartford, D. Miller, L. J. Morse, H. Rakatansky, F. A. Riddick, V. Ruff, G. T. Wilkins & L. L. Emanuel - 1998 - Hastings Center Report 28 (4):15-21.
     
    Export citation  
     
    Bookmark  
  41. Sex Differences in Detecting Sexual Infidelity.Paul W. Andrews, Steven W. Gangestad, Geoffrey F. Miller, Martie G. Haselton, Randy Thornhill & Michael C. Neale - 2008 - Human Nature 19 (4):347-373.
    Despite the importance of extrapair copulation (EPC) in human evolution, almost nothing is known about the design features of EPC detection mechanisms. We tested for sex differences in EPC inference-making mechanisms in a sample of 203 young couples. Men made more accurate inferences (φmen = 0.66, φwomen = 0.46), and the ratio of positive errors to negative errors was higher for men than for women (1.22 vs. 0.18). Since some may have been reluctant to admit EPC behavior, we modeled how (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  55
    The impact of reporting magnetic resonance imaging incidental findings in the Canadian alliance for healthy hearts and minds cohort.Rhian Touyz, Amy Subar, Ian Janssen, Bob Reid, Eldon Smith, Caroline Wong, Pierre Boyle, Jean Rouleau, F. Henriques, F. Marcotte, K. Bibeau, E. Larose, V. Thayalasuthan, A. Moody, F. Gao, S. Batool, C. Scott, S. E. Black, C. McCreary, E. Smith, M. Friedrich, K. Chan, J. Tu, H. Poiffaut, J. -C. Tardif, J. Hicks, D. Thompson, L. Parker, R. Miller, J. Lebel, H. Shah, D. Kelton, F. Ahmad, A. Dick, L. Reid, G. Paraga, S. Zafar, N. Konyer, R. de Souza, S. Anand, M. Noseworthy, G. Leung, A. Kripalani, R. Sekhon, A. Charlton, R. Frayne, V. de Jong, S. Lear, J. Leipsic, A. -S. Bourlaud, P. Poirier, E. Ramezani, K. Teo, D. Busseuil, S. Rangarajan, H. Whelan, J. Chu, N. Noisel, K. McDonald, N. Tusevljak, H. Truchon, D. Desai, Q. Ibrahim, K. Ramakrishnana, C. Ramasundarahettige, S. Bangdiwala, A. Casanova, L. Dyal, K. Schulze, M. Thomas, S. Nandakumar, B. -M. Knoppers, P. Broet, J. Vena, T. Dummer, P. Awadalla, Matthias G. Friedrich, Douglas S. Lee, Jean-Claude Tardif, Erika Kleiderman & Marcotte - 2021 - BMC Medical Ethics 22 (1):1-15.
    BackgroundIn the Canadian Alliance for Healthy Hearts and Minds (CAHHM) cohort, participants underwent magnetic resonance imaging (MRI) of the brain, heart, and abdomen, that generated incidental findings (IFs). The approach to managing these unexpected results remain a complex issue. Our objectives were to describe the CAHHM policy for the management of IFs, to understand the impact of disclosing IFs to healthy research participants, and to reflect on the ethical obligations of researchers in future MRI studies.MethodsBetween 2013 and 2019, 8252 participants (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  36
    Are intensive agricultural practices environmentally and ethically sound?R. Lal, F. P. Miller & T. J. Logan - 1988 - Journal of Agricultural Ethics 1 (3):193-210.
    Soil is fragile and nonrenewable but the most basic of natural resources. It has a capacity to tolerate continuous use but only with proper management. Improper soil management and indiscriminate use of chemicals have contributed to some severe global environmental issues, e.g., volatilization losses and contamination of natural waters by sediments and agricultural fertilizers and pesticides. The increasing substitution of energy for labor and other cultural inputs in agriculture is another issue. Fertilizers and chemicals account for about 25% of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  30
    Degrees of Unsolvability of Continuous Functions.Joseph S. Miller - 2004 - Journal of Symbolic Logic 69 (2):555 - 584.
    We show that the Turing degrees are not sufficient to measure the complexity of continuous functions on [0, 1]. Computability of continuous real functions is a standard notion from computable analysis. However, no satisfactory theory of degrees of continuous functions exists. We introduce the continuous degrees and prove that they are a proper extension of the Turing degrees and a proper substructure of the enumeration degrees. Call continuous degrees which are not Turing degrees non-total. Several fundamental results are proved: a (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  45.  17
    On Relatively Analytic and Borel Subsets.Arnold W. Miller - 2005 - Journal of Symbolic Logic 70 (1):346 - 352.
    Define z to be the smallest cardinality of a function f: X → Y with X. Y ⊆ 2ω such that there is no Borel function g ⊇ f. In this paper we prove that it is relatively consistent with ZFC to have b < z where b is, as usual, smallest cardinality of an unbounded family in ωω. This answers a question raised by Zapletal. We also show that it is relatively consistent with ZFC that there exists X ⊆ (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46. W. G. Miller, On the Philosophy of Law. [REVIEW]F. Pollock - 1884 - Mind 9:447.
    No categories
     
    Export citation  
     
    Bookmark  
  47. De materiële logica.F. G. M. Gevers - 1949 - Tilburg,: R.K. Jongensweeshuis.
    No categories
     
    Export citation  
     
    Bookmark  
  48. Taal en betekenis.F. G. Droste - 1967 - Brussel,: G. B. van Goor.
     
    Export citation  
     
    Bookmark  
  49. Semanticheskie voprosy mikro- i makrosintaksisa.F. G. Gagarkina (ed.) - 1980 - Khabarovsk: Khabarovskiĭ gos. pedagog. in-t.
     
    Export citation  
     
    Bookmark  
  50.  36
    Uniform proofs as a foundation for logic programming.Dale Miller, Gopalan Nadathur, Frank Pfenning & Andre Scedrov - 1991 - Annals of Pure and Applied Logic 51 (1-2):125-157.
    Miller, D., G. Nadathur, F. Pfenning and A. Scedrov, Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic 51 125–157. A proof-theoretic characterization of logical languages that form suitable bases for Prolog-like programming languages is provided. This characterization is based on the principle that the declarative meaning of a logic program, provided by provability in a logical system, should coincide with its operational meaning, provided by interpreting logical connectives as simple and fixed search instructions. (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   32 citations  
1 — 50 / 1000