Results for 'A. Fernandez-Marcarit'

1000+ found
Order:
  1.  23
    On e^-definability in arithmetic.J. Borrego-Diaz, A. Fernandez-Marcarit & M. J. Perez-Jimenez - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 47--47.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Practical Reasoning: Where the Action Is.Fernandez Patricio A. - 2016 - Ethics 126 (4):869 - 900.
    Widespread conceptions of practical reasoning confront us with a choice between its practicality and its objectivity: between its efficacious, world-changing character and its accountability to objective rational standards. This choice becomes unnecessary, I argue, on an alternative view embodied by the thesis that the conclusion of practical reasoning is an action. I lay bare and challenge the assumptions underlying the rejection of that thesis and outline a defense of its picture of practical reasoning against common objections. On such a picture, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  3.  18
    Schiller, J. C. F., Escritos sobre estética.A. Fernández Dïaz - 1992 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 26:238.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  33
    A note on parameter free Π1 -induction and restricted exponentiation.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2011 - Mathematical Logic Quarterly 57 (5):444-455.
    We characterize the sets of all Π2 and all equation image theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively equivalent. We also discuss how these results generalize to n > 0. As an application, we prove that a conservation theorem of Beklemishev stating that IΠ−n + 1 is conservative over IΣ−n with respect to equation image sentences cannot be extended to Πn + 2 sentences. © 2011 WILEY-VCH Verlag (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  29
    Failure to report and provide commentary on research ethics board approval and informed consent in medical journals.K. A. Finlay & C. V. Fernandez - 2008 - Journal of Medical Ethics 34 (10):761-764.
    Background: The Declaration of Helsinki prohibits the publication of articles that do not meet defined ethical standards for reporting of research ethics board approval and informed consent. Despite this prohibition and a call to highlight the deficiency for the reader, articles with potential ethical shortcomings continue to be published.Objective: To determine what proportion of articles in major medical journals lack statements confirming REB approval and informed consent, and whether accompanying commentary alerts readers to this deficiency.Design: Retrospective, observational study.Setting: Online review (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  6.  17
    Logic and Philosophy of Logic: Recent Trends in Latin America and Spain.Max A. Freund, Max Fernandez de Castro & Marco Ruffino (eds.) - 2018 - College Publications.
    Logic and philosophy of logic have increasingly become areas of research and great interest in Latin America and Spain, where significant work has been done and continues to be done in both of these fields. The goal of this volume is to draw attention to this work through a collection of original and unpublished papers by specialists from Latin America and Spain. Some of the papers are of importance for set-theory and model theory. They cover topics such as the foundations (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  46
    Commonalities in compensation.James A. Birchler, Harvey R. Fernandez & Harsh H. Kavi - 2006 - Bioessays 28 (6):565-568.
    The sex chromosomes of many species differ in dosage but the total gene expression output is similar, a phenomenon referred to as dosage compensation. Previously, diverse mechanisms were postulated to account for compensation in distantly related taxa. However, two recent papers present evidence that dosage compensation in Drosophila, mammals and nematodes share the property that there is an approximately two‐fold upregulation of the single active X chromosome in each case.1,2 The results suggest that a common mechanism might operate in these (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  10
    On the Optimality of Conservation Results for Local Reflection in Arithmetic.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2013 - Journal of Symbolic Logic 78 (4):1025-1035.
  9. Comités de evaluación ética y científica de la investigación en seres humanos en los países latinoamericanos y del Caribe.A. Bota, A. Estévez, L. Fernández, M. Hernández, A. Hevia & C. Lara - 2006 - In Fernando Lolas, Álvaro Quezada & Eduardo Rodríguez (eds.), Investigación en salud: dimensión ética. Chile: CIEB, Universidad de Chile.
    No categories
     
    Export citation  
     
    Bookmark  
  10.  17
    On axiom schemes for T-provably $${\Delta_{1}}$$ Δ 1 formulas.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2014 - Archive for Mathematical Logic 53 (3-4):327-349.
    This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and least number axiom schemes to formulas which are Δ1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta_1}$$\end{document} provably in an arithmetic theory T. In particular, we determine the provably total computable functions of this kind of theories. As an application, we obtain a reduction of the problem whether IΔ0+¬exp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${I\Delta_0 + \neg \mathit{exp}}$$\end{document} implies BΣ1\documentclass[12pt]{minimal} (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  20
    On the quantifier complexity of Δ n+1 (T)– induction.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2004 - Archive for Mathematical Logic 43 (3):371-398.
    In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that IΔ n+1 (T) is Π n+2 –axiomatizable. In particular, IΔ n+1 (IΔ n+1 ) gives an axiomatization of Th Π n+2 (IΔ n+1 ) and is not finitely axiomatizable. This fact relates the fragment IΔ n+1 (IΔ n+1 ) to induction (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  26
    Some aspects of the population biology of Arbothrix longipilis present in a plantation of Pinus radiata (Province of Nuble-eighth region).J. A. Sandoval, Fernandez Jr, P. A. Chandia, E. Zamorano-Ponce & J. C. Ortiz - 1995 - Theoria 4.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. ¿Es posible matizar el individualismo de John Locke?Diego A. Fernández Peychaux - 2011 - Princípios 18 (30):307-339.
    Normal 0 21 false false false MicrosoftInternetExplorer4 El interrogante del que este artículo pretende dar cuenta es si el individualismo de John Locke responde a la radicalidad con la que la corriente de interpretación más difundida intenta caracterizarlo. La conclusión que se alcanza luego de una amplia presentación de pruebas textuales, es que la necesaria matización del individualismo se deriva de la insistencia del autor en justificar el origen divino de los derechos y deberes. De este modo, en la medida (...)
     
    Export citation  
     
    Bookmark  
  14. Fear and the Illusion of Autonomy.Frost Samantha, Manzano Juan A. Fernández & de Lucas Gustavo Castel - 2016 - Las Torres de Lucca: Revista Internacional de Filosofía Política 5 (9):175-200.
    Este ensayo aborda el tratamiento que Hobbes da a la complejidad de la causalidad en conjunción con su análisis materialista del modo en que el miedo orienta al sujeto en el tiempo con el fin de defender que para Hobbes el miedo es tanto una respuesta como una negación de la imposibilidad de la auto-soberanía. El ensayo argumenta que los movimientos de la memoria y la anticipación que Hobbes describe como centrales en la pasión del miedo transforman el campo causal (...)
     
    Export citation  
     
    Bookmark  
  15.  41
    Locke, John:" Ensayo sobre la tolerancia y otros escritos sobre ética y obediencia civil".Juan A. Fernández Manzano - 2011 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 44:403-407.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  16.  21
    Reseña de "Fuera de equilibrio. Moralidad y racionalidad indirecta" de Blanca Rodríguez López.Juan A. Fernández Manzano - 2009 - Ideas Y Valores 58 (139):179-182.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Comités de evaluación ética y científica de la investigación en seres humanos en los países latinoamericanos y del Caribe.A. Bota Arqué, A. Estévez Montalbán, L. Fernández Milla, M. Hernández, A. Hevia Larenas & C. Lara Älvarez - 2006 - In Fernando Lolas, Álvaro Quezada & Eduardo Rodríguez (eds.), Investigación en salud: dimensión ética. Chile: CIEB, Universidad de Chile.
    No categories
     
    Export citation  
     
    Bookmark  
  18.  16
    Bullied Adolescent’s Life Satisfaction: Personal Competencies and School Climate as Protective Factors.Susana Lázaro-Visa, Raquel Palomera, Elena Briones, Andrés A. Fernández-Fuertes & Noelia Fernández-Rouco - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19. Two Different Populations within the Healthy Elderly: Lack of Conflict Detection in Those at Risk of Cognitive Decline.Sergio M. Sánchez-Moguel, Graciela C. Alatorre-Cruz, Juan Silva-Pereyra, Sofía González-Salinas, Javier Sanchez-Lopez, Gloria A. Otero-Ojeda & Thalía Fernández - 2018 - Frontiers in Human Neuroscience 11.
  20.  17
    Nivel de conocimientos de salud de los escolares del quinto año de secundaria en Lima, Perú.Joseph Jesús Sánchez Gavidia, Oliver Rúa Fernandez, Nicky Castillo Córdova & Gladys Peralta Cáceres - 2018 - Cultura 32:367-379.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Editorial: The Hobbesian Revolution.Gustavo Castel de Lucas & Diego A. Fernández Peychaux - 2016 - Las Torres de Lucca: Revista Internacional de Filosofía Política 5 (9):9-29.
    Proponemos una lectura de la obra de Hobbes como revolución, como ruptura radical con el pensamiento de la tradición dominante: ruptura, que lo es en casi todos los ámbitos, pero sobre todo en el del pensamiento político, moral y jurídico. Sugerimos, además, que esa radical ruptura sigue manteniendo elementos vivos y útiles para pensar la política hoy.
     
    Export citation  
     
    Bookmark  
  22. Yo y el otro: actitudes ambivalentes hacia la immigración entre los estudiantes de secundaria en Extremadura.A. Baigorri, M. M. Chaves & R. Fernández Díaz - 2004 - Aposta 9:2.
    El presente artículo da cuenta de las actitudes hacia los inmigrantes entre los estudiantes de educación secundaria de edades comprendidas entre 12 y 13 años en Extremadura, España. Los datos proceden de una investigación financiada por el Gobierno Regional de Extremadura y en ellos se muestran ¿mediante análisis de contenido y utilización de citas textuales¿ los componentes estructurales que alimentan las actitudes positivas y/o negativas hacia la inmigración y los inmigrantes por parte de los adolescentes extremeños, en la medida en (...)
    No categories
     
    Export citation  
     
    Bookmark  
  23.  13
    Why nature matters: A systematic review of intrinsic, instrumental, and relational values.A. Himes, B. Muraca, C. B. Anderson, S. Athayde, T. Beery, M. Cantú-Fernández, D. González-Jiménez, R. K. Gould, A. P. Hejnowicz, J. Kenter, D. Lenzi, R. Murali, U. Pascual, C. Raymond, A. Ring, K. Russo, A. Samakov, S. Stålhammar, H. Thorén & E. Zent - 2024 - BioScience 74 (1).
    In this article, we present results from a literature review of intrinsic, instrumental, and relational values of nature conducted for the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services, as part of the Methodological Assessment of the Diverse Values and Valuations of Nature. We identify the most frequently recurring meanings in the heterogeneous use of different value types and their association with worldviews and other key concepts. From frequent uses, we determine a core meaning for each value type, which is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Pensamiento y trayectoria de Max Scheler.A. Basave Fernandez Del Valle - 1977 - Humanitas. Anuario Del Centro de Estudios Humanisticos Mexico 18:13-28.
     
    Export citation  
     
    Bookmark  
  25. Tratado de Metafisica, Teoria de la "Habencia".A. BASAVE FERNANDEZ DEL VALLE - 1982
    No categories
     
    Export citation  
     
    Bookmark  
  26.  21
    An epistemic and dynamic approach to abductive reasoning: selecting the best explanation.A. Nepomuceno-Fernandez, F. Soler-Toscano & F. R. Velazquez-Quesada - 2013 - Logic Journal of the IGPL 21 (6):943-961.
  27. The ethical challenges of academic administration.Martinelli-Fernandez Susan A. (ed.) - 2009 - London: Springer.
    This book is an invitation to academic administrators, at every level, to engage in reflection on the ethical dimensions of their working lives.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  7
    Diversity in IRB Membership: Views of IRB Chairpersons at U.S. Universities and Academic Medical Centers.Sydney Churchill, Emily A. Largent, Elizabeth Taggert & Holly Fernandez Lynch - 2022 - AJOB Empirical Bioethics 13 (4):237-250.
    Background Diversity in Institutional Review Board (IRB) membership is important for both intrinsic and instrumental reasons, including fairness, promoting trust, improving decision quality, and responding to systemic racism. Yet U.S. IRBs remain racially and ethnically homogeneous, even as gender diversity has improved. Little is known about IRB chairpersons’ perspectives on membership diversity and barriers to increasing it, as well as current institutional efforts to promote diversity, equity, and inclusion (DEI) within IRB membership.Methods We surveyed IRB chairpersons leading U.S. boards registered (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  28
    Shame as a Culture-Specific Emotion Concept.Dolichan Kollareth, Jose-Miguel Fernandez-Dols & James A. Russell - 2018 - Journal of Cognition and Culture 18 (3-4):274-292.
    On the assumption that shame is a universal emotion, cross-cultural research on shame relies on translations assumed to be equivalent in meaning. Our studies here questioned that assumption. In three studies,shamewas compared to its translations in Spanish and in Malayalam. American English speakers usedshamefor the emotional reaction to moral failures and its use correlated positively withguilt, whereasvergüenzaandnanakeduwere used less for moral stories and their use correlated less with the guilt words. In comparison with Spanish and Malayalam speakers’ ratings of their (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  20
    Measuring Female Gaming: Gamer Profile, Predictors, Prevalence, and Characteristics From Psychological and Gender Perspectives.Olatz Lopez-Fernandez, A. Jess Williams & Daria J. Kuss - 2019 - Frontiers in Psychology 10.
    Research investigating female gaming is relatively scarce, and past research has demonstrated that men are more likely to be problematic gamers. Few studies have focused on female gamers in community samples, and those that have been published have mainly collected data qualitatively in Europe. There is case study evidence suggesting clinicians are increasingly treating problem female gamers. The aim of this study is threefold: (i) to establish an international female gamer profile, (ii) to determine predictors associated with perceived internet gaming (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Tablas semánticas para fórmulas satisfacibles en dominios finitos.Á Nepomuceno Fernández - 2007 - Teorema: International Journal of Philosophy 26 (1):5-19.
     
    Export citation  
     
    Bookmark  
  32.  9
    The Trials of Solidarity: A Defence.Rubén A. Gaztambide-Fernández - 2021 - Perspectives in Biology and Medicine 64 (3):302-314.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Social (Re)Construction: A Humean Voice on Moral Education, Social Reconstructions, and Feminism.Susan A. Martinelli-Fernandez - 2000 - In Anne Jaap Jacobson (ed.), Feminist Interpretations of David Hume.
  34.  15
    Neoliberalismo, ideología y covid-19: un análisis desde la perspectiva de Slavoj Žižek.Nicol A. Barria-Asenjo, Jamadier Uribe Muñoz, Jairo Gallo Acosta, Rodrigo Aguilera Hunt, Luis Roca Jusmet, Florencia Fernández, Francisco García Manzor, Gonzalo Salas & Jesús Ayala-Colqui - 2023 - Enrahonar: Quaderns de Filosofía 70:131-154.
    El artículo aborda la pandemia del covid-19 como elemento contingente y su efecto de develamiento respecto de algunas manifestaciones contemporáneas de la ideología neoliberal en Latinoamérica. De esta forma, en base a conceptos filosóficos y psicoanalíticos de orientación lacaniana planteados fundamentalmente por Slavoj Žižek, se examinan los usos críticos de la noción de ideología en sus diversas manifestaciones: miedo al otro, imposición de la lógica del empresario de sí, destrucción de lazos sociales, extractivismo de recursos naturales y fetichización de los (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Derecho y moral en los derechos humanos. La naturaleza de los derechos humanos.A. Osuna Fernandez-Largo - 1998 - Ciencia Tomista 125 (2):213-258.
    No categories
     
    Export citation  
     
    Bookmark  
  36. El'Derecho de Gentes en Francisco de Vitoria: Un capítulo de la filosofía de los derechos humanos.A. Osuna Fernandez-Largo - 1999 - Ciencia Tomista 126 (1):75-91.
     
    Export citation  
     
    Bookmark  
  37. La obediencia al Derecho estatal moderno.A. Osuna Fernandez-Largo - 1991 - Estudios Filosóficos 40 (115):403-422.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  34
    El Gran Signo Formal del Barroco: Ensayo Historico del Apoyo EstipiteArquitectura de los Coros de Monjas en MexicoUna Casa del Siglo XVIII en MexicoTextos de OrozcoOrozco.Joseph A. Baird, Victor Manuel Villegas, Francisco de la Maza, Manuel Romero de Terreros, Justino Fernandez & Alma Reed - 1958 - Journal of Aesthetics and Art Criticism 17 (2):267.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  12
    The Ancient MayaCoatlicue: Estetica del Arte Indigena AntiguoMezcalaAbstract Art before Columbus.Joseph A. Baird, Sylvanus Morley, George W. Brainerd, Justino Fernandez, Miguel Covarrubias & Dore Ashton - 1958 - Journal of Aesthetics and Art Criticism 16 (4):527.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  7
    Cultural Studies and Education: Perspectives on Theory, Methodology, and Practice.Rubén A. Gaztambide-Fernandez, Heather A. Harding & Tere Sordé-Martí (eds.) - 2004 - Harvard Educational Review.
    __Cultural Studies and Education_ is a timely introduction to cultural studies and the ways in which it can enrich both education scholarship and practice._ An extensive field that in the last few decades has transformed many academic disciplines, cultural studies has yet to be fully considered by educators and education scholars. Cultural Studies and Education redresses this great shortcoming, bringing cultural studies and its implications for education to the fore. The book aims to serve three main purposes. First, it is (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Collaborative Administration: Academics and Administration in Higher Administration.Susan A. Martinelli-Fernandez - 2009 - In Elaine Englehardt (ed.), The Ethical Challenges of Adminstration.
    No categories
     
    Export citation  
     
    Bookmark  
  42. Realidad y utopía en JJ Rousseau.A. Ginzo Fernandez - 1994 - Estudios Filosóficos 43 (123):223-267.
    No categories
     
    Export citation  
     
    Bookmark  
  43.  14
    Alejandro Moreno: Las epistemes del mundo-de-la-vida.A. B. Márquez-Fernández - 2009 - Utopía y Praxis Latinoamericana 14 (46):5-6.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  35
    Alberto Wagner de Reyna. In Memoriam (1915-2006).A. B. Márquez-Fernández - 2006 - Utopía y Praxis Latinoamericana 11 (34).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Posmodernidad y Racionalidad Ética del Discurso.A. Márquez-fernández - 1996 - Utopía y Praxis Latinoamericana 1 (1).
    No categories
     
    Export citation  
     
    Bookmark  
  46.  7
    Discurso y realidad: en debate con K.-O. Apel.Karl-Otto Apel, Domingo Blanco Fernández, José A. Pérez Tapias & Luis Sáez Rueda - 1994
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  25
    Promoting Ethical Payment in Human Infection Challenge Studies.Holly Fernandez Lynch, Thomas C. Darton, Jae Levy, Frank McCormick, Ubaka Ogbogu, Ruth O. Payne, Alvin E. Roth, Akilah Jefferson Shah, Thomas Smiley & Emily A. Largent - 2021 - American Journal of Bioethics 21 (3):11-31.
    To prepare for potential human infection challenge studies involving SARS-CoV-2, we convened a multidisciplinary working group to address ethical questions regarding whether and how much SAR...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  48.  31
    Journeying to Ixtlan: Ethics of Psychedelic Medicine and Research for Alzheimer’s Disease and Related Dementias.Andrew Peterson, Emily A. Largent, Holly Fernandez Lynch, Jason Karlawish & Dominic Sisti - 2023 - American Journal of Bioethics Neuroscience 14 (2):107-123.
    In this paper, we examine the case of psychedelic medicine for Alzheimer’s disease and related dementias (AD/ADRD). These “mind-altering” drugs are not currently offered as treatments to persons with AD/ADRD, though there is growing interest in their use to treat underlying causes and associated psychiatric symptoms. We present a research agenda for examining the ethics of psychedelic medicine and research involving persons living with AD/ADRD, and offer preliminary analyses of six ethical issues: the impact of psychedelics on autonomy and consent; (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  49.  6
    An Adaptable, Open-Access Test Battery to Study the Fractionation of Executive-Functions in Diverse Populations.Gislaine A. V. Zanini, Monica C. Miranda, Hugo Cogo-Moreira, Ali Nouri, Alberto L. Fernández & Sabine Pompéia - 2021 - Frontiers in Psychology 12.
    The umbrella-term ‘executive functions’ includes various domain-general, goal-directed cognitive abilities responsible for behavioral self-regulation. The influential unity and diversity model of EF posits the existence of three correlated yet separable executive domains: inhibition, shifting and updating. These domains may be influenced by factors such as socioeconomic status and culture, possibly due to the way EF tasks are devised and to biased choice of stimuli, focusing on first-world testees. Here, we propose a FREE test battery that includes two open-access tasks for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  13
    Towards Abductive Reasoning in First-order Logic.A. Reyes-Cabello, Atocha Aliseda-Llera & Ángel Nepomuceno-fernández - 2006 - Logic Journal of the IGPL 14 (2):287-394.
    Abductive problems have been widely studied in propositional logic. First order abduction, however, has been viewed as intractable, for the undecidability of logical consequence. In this paper, we propose a notion of abductive problem, N-abductive problem, which is relative to the cardinality of the minimal model satisfying the given theory. We use a notion of restricted satisfaction, also relative to a domain cardinality. Finally, we propose an effective procedure for the searching of abductive solutions, by means of a modification of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 1000