Results for 'Jaime Araos'

832 found
Order:
  1.  1
    ¿Por qué importa la filosofía hoy?S. M. Jaime Araos - 2019 - Revista de Filosofía 76:223-223.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. ¿Por qué importa la filosofía hoy? A propósito de una propuesta de Carlos Peña.Jaime Araos San Martín - 2019 - Revista de Filosofía 76:237-243.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  19
    Tomás de Aquino y el concepto tradicional de la verdad, según Ser y tiempo, §44.Jaime Araos San Martín - 2019 - Anales Del Seminario de Historia de la Filosofía 36 (2):477-493.
    El objetivo de este estudio es examinar hasta qué punto es válido incluir el pensamiento de Tomás de Aquino, junto al de Aristóteles y Kant, en la estructura filosófica que Heidegger llama, en Ser y tiempo § 44, “concepto tradicional de la verdad”. Partiendo de la definición de la verdad como adecuación del intelecto y la cosa, se somete a discusión la equivalencia entre el concepto aristotélico de ὁμοίωσις, el tomista de adaequatio y el kantiano de Übereinstimmung. Para ello se (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Relativismo, tolerancia y democracia en H. Kelsen.Jaime I. Araos San Martín - 2008 - Veritas: Revista de Filosofía y Teología 19:253-269.
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Amor a la Sabiduría: Estudios de Metafísica y Ética En Homenaje Al Profesor Juan de Dios Vial Larraín.Jaime Araos San Martín, Vial Larraín & Juan de Dios (eds.) - 2004 - Universidad Católica de Chile.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  21
    Proceso de arbitraje de los artículos.Juan Carlos Alby, Fernando Álvarez Uría, Jaime Araos, Fernando Bahr, Óscar Barroso, María Elena Candioti, Ricardo Cattaneo, Laura Corso, Jesús De Garay & María Luisa De la Camara - 2012 - Anales Del Seminario de Historia de la Filosofía 29 (1):417.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  6
    Teaching Methodologies in Times of Pandemic.Santiago Felipe Torres Aza, Gloria Isabel Monzón Álvarez, Gianny Carol Ortega Paredes & José Manuel Calizaya López - 2021 - Minerva 2 (4):5-10.
    The current times call for reforms in educational processes. The Covid-19 pandemic had an unforeseen impact on the educational system in all countries. This need for change requires new pedagogies and new methods for teaching and learning. Understanding the need for change is essential for the formulation of adaptive proposals, as well as for the generation of training activities to complement the teaching curriculum. New educational practices lead to a vision of educational quality, with new approaches that allow the continuous (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  1
    Superación de la metafísica de Martin Heidegger / traducción de Jaime Sologuren.Martin Heidegger & Jaime Sologuren - 2020 - Revista de Filosofía 77:241-260.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  13
    Modeling Overlapped Mutual Funds’ Portfolios: A Bipartite Network Approach.Jaime F. Lavin, Mauricio A. Valle & Nicolás S. Magner - 2019 - Complexity 2019:1-20.
    This paper studies the topology of the Chilean mutual fund industry using networks methods. With the physical positions of the local equity portfolios managed during 2003.01-2017.4, we analyze their connectivity structure in both the mutual funds’ bipartite network and their one-mode projection. We estimate network measures to examine the potential effects on the topology arising from changes in the industrial environment and changes in the mutual funds’ investment strategies in their overlapped portfolios. Our main results show that changes in the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  11
    In the Beginning: The Role of Myth in Relating Religion, Brain Science, and Mental Well‐Being.Jaime Wright - 2018 - Zygon 53 (2):375-391.
  11.  26
    Consumer Neuroscience-Based Metrics Predict Recall, Liking and Viewing Rates in Online Advertising.Jaime Guixeres, Enrique Bigné, Jose M. Ausín Azofra, Mariano Alcañiz Raya, Adrián Colomer Granero, Félix Fuentes Hurtado & Valery Naranjo Ornedo - 2017 - Frontiers in Psychology 8.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  3
    Healthcare Professionals’ Experience, Training, and Knowledge Regarding Immigration-Related Law Enforcement in Healthcare Facilities: An Online Survey.Jaime La Charite, Derek W. Braverman, Dana Goplerud, Alexandra Norton, Amanda Bertram & Zackary D. Berger - 2021 - Journal of Law, Medicine and Ethics 49 (1):50-58.
    U.S. immigration policies and enforcement can make immigrants fearful of accessing healthcare. Although current immigration policies restrict enforcement in “sensitive locations” including healthcare facilities, there are reports of enforcement actions in such settings.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  15
    POLITICS: Automated Ideological Reasoning.Jaime G. Carbonell - 1978 - Cognitive Science 2 (1):27-51.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  14.  12
    No Easy Answers in Allocating Unapproved COVID-19 Drugs Outside Clinical Trials.Jaime Webb, Lesha Shah & Holly Fernandez Lynch - 2020 - American Journal of Bioethics 20 (9):W1-W4.
    Volume 20, Issue 9, September 2020, Page W1-W4.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  2
    Developing Vulnerability: A Situational Response to the Abuse of Women with Mental Disabilities.Jaime Lindsey - 2016 - Feminist Legal Studies 24 (3):295-314.
    In this paper I present a critical analysis of the English law relating to the safeguarding of vulnerable adults, in particular how the law impacts on the sexual lives of adult women with mental disabilities. I consider the discourses of vulnerability that surround the different legal regimes and whether the emerging theoretical vulnerability literature can assist in developing more nuanced legal responses. I argue that the inherent jurisdiction and Care Act 2014 provide an opportunity to move away from the focus (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  10
    Ending the Retraction Stigma: Encouraging the Reporting of Errors in the Biomedical Record.Jaime A. Teixeira da Silva & Aceil Al-Khatib - 2019 - Research Ethics 17 (2):251-259.
    Retractions are on the rise as a result of a surge in post-publication peer review and an emboldened anonymous whistle-blowing movement. Cognizant that their brand may be damaged as a result of not...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  51
    Misconduct in Medical Students.Jaime Vengoechea, Socorro Moreno & Alvaro Ruiz - 2008 - Developing World Bioethics 8 (3):219-225.
    We developed a survey to explore the association between misconduct and stress, potential stressors and other possible contributing f.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  15
    New Standards, Same Refrain: The IAAF's Regulations on Hyperandrogenism.Jaime Schultz - 2012 - American Journal of Bioethics 12 (7):32-33.
    The American Journal of Bioethics, Volume 12, Issue 7, Page 32-33, July 2012.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  7
    Δ12-Sets of Reals.Jaime I. Ihoda & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 42 (3):207-223.
  20. An Argument Against Cloning.Jaime Ahlberg & Harry Brighouse - 2010 - Canadian Journal of Philosophy 40 (4):539-566.
    It is technically possible to clone a human being. The result of the procedure would be a human being in its own right. Given the current level of cloning technology concerning other animals there is every reason to believe that early human clones will have shorter-than-average life-spans, and will be unusually prone to disease. In addition, they would be unusually at risk of genetic defects, though they would still, probably, have lives worth living. But with experimentation and experience, seriously unequal (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  8
    Establishing Sensible and Practical Guidelines for Desk Rejections.Jaime A. Teixeira da Silva, Aceil Al-Khatib, Vedran Katavić & Helmar Bornemann-Cimenti - 2018 - Science and Engineering Ethics 24 (4):1347-1365.
    Publishing has become, in several respects, more challenging in recent years. Academics are faced with evolving ethics that appear to be more stringent in a bid to reduce scientific fraud, the emergence of science watchdogs that are now scrutinizing the published literature with critical eyes to hold academics, editors and publishers more accountable, and a barrage of checks and balances that are required between when a paper is submitted and eventually accepted, to ensure quality control. Scientists are often under increasing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  10
    Fortifying the Corrective Nature of Post-Publication Peer Review: Identifying Weaknesses, Use of Journal Clubs, and Rewarding Conscientious Behavior.Jaime A. Teixeira da Silva, Aceil Al-Khatib & Judit Dobránszki - 2017 - Science and Engineering Ethics 23 (4):1213-1226.
    Most departments in any field of science that have a sound academic basis have discussion groups or journal clubs in which pertinent and relevant literature is frequently discussed, as a group. This paper shows how such discussions could help to fortify the post-publication peer review movement, and could thus fortify the value of traditional peer review, if their content and conclusions were made known to the wider academic community. Recently, there are some tools available for making PPPR viable, either as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  22
    Factorization of the Shoenfield-Like Bounded Functional Interpretation.Jaime Gaspar - 2009 - Notre Dame Journal of Formal Logic 50 (1):53-60.
    We adapt Streicher and Kohlenbach's proof of the factorization S = KD of the Shoenfield translation S in terms of Krivine's negative translation K and the Gödel functional interpretation D, obtaining a proof of the factorization U = KB of Ferreira's Shoenfield-like bounded functional interpretation U in terms of K and Ferreira and Oliva's bounded functional interpretation B.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  66
    Distributed Cognition: An Ectoderm-Centric Perspective. [REVIEW]Jaime F. Cárdenas-García - 2013 - Biosemiotics 6 (3):337-350.
    Distributed cognition is widely recognized as an approach to the study of all cognition. It identifies the distribution of cognitive processes between persons and technology, among people, and across time in the development of the social and material contexts for thinking. This paper suggests an ectoderm-centric perspective as the basis for distributed cognition, and in so doing redefines distributed cognition as the ability of an organism to interact with its environment for the purpose of satisfying its most basic physiological (internal (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  51
    The Ethics of Ethics Reviews in Global Health Research: Case Studies Applying a New Paradigm. [REVIEW]Annalee Yassi, Jaime Breilh, Shafik Dharamsi, Karen Lockhart & Jerry M. Spiegel - 2013 - Journal of Academic Ethics 11 (2):83-101.
    With increasing calls for global health research there is growing concern regarding the ethical challenges encountered by researchers from high-income countries (HICs) working in low or middle-income countries (LMICs). There is a dearth of literature on how to address these challenges in practice. In this article, we conduct a critical analysis of three case studies of research conducted in LMICs. We apply emerging ethical guidelines and principles specific to global health research and offer practical strategies that researchers ought to consider. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  4
    Heidegger y el estatuto ontológico del cuerpo. Una confrontación con la fenomenología de la carnalidad de Michel Henry.Jaime Llorente - 2016 - Ideas Y Valores 65 (162):261-289.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  27. Abduction or the Logic of Surprise.Jaime Nubiola - 2005 - Semiotica 2005 (153 - 1/4):117-130.
    Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in the field of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  28.  29
    On Tao's “Finitary” Infinite Pigeonhole Principle.Jaime Gaspar & Ulrich Kohlenbach - 2010 - Journal of Symbolic Logic 75 (1):355-371.
    In 2007. Terence Tao wrote on his blog an essay about soft analysis, hard analysis and the finitization of soft analysis statements into hard analysis statements. One of his main examples was a quasi-finitization of the infinite pigeonhole principle IPP, arriving at the "finitary" infinite pigeonhole principle FIPP₁. That turned out to not be the proper formulation and so we proposed an alternative version FIPP₂. Tao himself formulated yet another version FIPP₃ in a revised version of his essay. We give (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  9
    The Process of Info-Autopoiesis – the Source of All Information.Jaime F. Cárdenas-García - 2020 - Biosemiotics 13 (2):199-221.
    All information results from a process, intrinsic to living beings, of info-autopoiesis or information self-production; a sensory commensurable, self-referential feedback process immanent to Bateson’s ‘difference which makes a difference’. To highlight and illustrate the fundamental nature of the info-autopoietic process, initially, two simulations based on one-parameter feedback are presented. The first, simulates a homeostatic control mechanism which is representative of a mechanistic, cybernetic system with very predictable dynamics, fully dependent on an external referent. The second, simulates a homeorhetic process, inherent (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  26
    Educational Justice for Students with Cognitive Disabilities.Jaime Ahlberg - 2014 - Social Philosophy and Policy 31 (1):150-175.
  31.  19
    Heidegger and the Ontological Status of the Body A Confrontation with Michel Henry's Phenomenology of the Flesh.Jaime Llorente - 2016 - Ideas Y Valores 65 (162):261-289.
    Se examina la posición de M. Heidegger sobre el sentido ontológico de la corporalidad, como respuesta a la interpelación de aquello que se le presenta al Dasein debido a su constitución abierta al mundo. Esto lleva a preguntarse sobre la actuación corporal y técnica sobre el mundo, y sobre los otros, o al problema del cuerpo animal. Se confronta finalmente la perspectiva heideggeriana con la teoría del cuerpo subjetivo o trascendental de M. Henry, donde la apertura ontológica es reemplazada por (...)
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  32.  4
    Optimizing Peer Review to Minimize the Risk of Retracting COVID-19-Related Literature.Jaime A. Teixeira da Silva, Helmar Bornemann-Cimenti & Panagiotis Tsigaris - 2021 - Medicine, Health Care and Philosophy 24 (1):21-26.
    Retractions of COVID-19 literature in both preprints and the peer-reviewed literature serve as a reminder that there are still challenging issues underlying the integrity of the biomedical literature. The risks to academia become larger when such retractions take place in high-ranking biomedical journals. In some cases, retractions result from unreliable or nonexistent data, an issue that could easily be avoided by having open data policies, but there have also been retractions due to oversight in peer review and editorial verification. As (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  20
    Should Authors Be Requested to Suggest Peer Reviewers?Jaime A. Teixeira da Silva & Aceil Al-Khatib - 2018 - Science and Engineering Ethics 24 (1):275-285.
    As part of a continuous process to explore the factors that might weaken or corrupt traditional peer review, in this paper, we query the ethics, fairness and validity of the request, by editors, of authors to suggest peer reviewers during the submission process. One of the reasons for the current crisis in science pertains to a loss in trust as a result of a flawed peer review which is by nature biased unless it is open peer review. As we indicate, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34. Martin's Axioms, Measurability and Equiconsistency Results.Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (1):78-94.
    We deal with the consistency strength of ZFC + variants of MA + suitable sets of reals are measurable (and/or Baire, and/or Ramsey). We improve the theorem of Harrington and Shelah [2] repairing the asymmetry between measure and category, obtaining also the same result for Ramsey. We then prove parallel theorems with weaker versions of Martin's axiom (MA(σ-centered), (MA(σ-linked)), MA(Γ + ℵ 0 ), MA(K)), getting Mahlo, inaccessible and weakly compact cardinals respectively. We prove that if there exists r ∈ (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35.  18
    Souslin Forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
    We define the notion of Souslin forcing, and we prove that some properties are preserved under iteration. We define a weaker form of Martin's axiom, namely MA(Γ + ℵ 0 ), and using the results on Souslin forcing we show that MA(Γ + ℵ 0 ) is consistent with the existence of a Souslin tree and with the splitting number s = ℵ 1 . We prove that MA(Γ + ℵ 0 ) proves the additivity of measure. Also we introduce (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  36.  24
    Nonstandardness and the Bounded Functional Interpretation.Fernando Ferreira & Jaime Gaspar - 2015 - Annals of Pure and Applied Logic 166 (6):701-712.
  37.  31
    Meta‐Analysis of Repeated Measures Study Designs.Jaime L. Peters & Kerrie L. Mengersen - 2008 - Journal of Evaluation in Clinical Practice 14 (5):941-950.
  38.  31
    Negative Translations Not Intuitionistically Equivalent to the Usual Ones.Jaime Gaspar - 2013 - Studia Logica 101 (1):45-63.
    We refute the conjecture that all negative translations are intuitionistically equivalent by giving two counterexamples. Then we characterise the negative translations intuitionistically equivalent to the usual ones.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  14
    Object Discernment by “A Difference Which Makes a Difference”.Jaime F. Cárdenas-García, Diego Romero Castro & Bruno Soria de Mesa - 2018 - Biosemiotics 11 (1):27-40.
    Gregory Bateson is well known for defining information by stating “In fact what we mean by information – the elementary unit of information – is a difference which makes a difference…” This conceptual perspective has the merit of simplicity and generality. Simplicity, in addressing the complexity of information. Generality, in seeking applicability to any and every field of human experience. The purpose of this paper is to focus the applicability of this conceptual approach by Bateson and use it to perform (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Democracy as a Way of Life: Critical Reflections on a Deweyan Theme.José María Rosales Jaime - 2012 - Res Publica. Murcia 27:155-165.
     
    Export citation  
     
    Bookmark  
  41. Rhetoric, Ethics and Democracy.José María Rosales Jaime - 2012 - Res Publica. Murcia 27:5-12.
     
    Export citation  
     
    Bookmark  
  42. La posibilidad de un nuevo contrato social desde el poder constituyente.Jaime Bassa Mercado & Erick González Pérez - 2021 - Hybris, Revista de Filosofí­A 12:69-90.
    The present work proposes a critical exploration of the epistemological foundations of modern contractualism, showing how its exclusion criteria operate through language games and the configuration of constitutional order. This critical exercise may improve the understanding of the conditions of possibility for a new social pact sense, in a political context marked by the Chilean popular revolt of 2019. Two consequential effects from above: the resignification of constitutional contents and the beginning of a constituent process.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  2
    Ramas San Miguel, Clara. Fetiche y mistificación capitalistas: la crítica de la economía política en Marx. Madrid: Siglo XXI, 2018. [REVIEW]Jaime Ortega - 2020 - Ideas Y Valores 69 (174):187-190.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  1
    Ramas San Miguel, Clara. Fetiche y mistificación capitalistas: la crítica de la economía política en Marx. Madrid: Siglo XXI, 2018. 302 pp. [REVIEW]Jaime Ortega - 2020 - Ideas Y Valores 69 (174):187-190.
    RESUMEN Este artículo explora si hay algún fundamento sólido para atribuir a Leonardo da Vinci prioridad en la formulación del símil que lleva a concebir el ojo como una cámara obscura. Aquí, se defiende una posición pesimista. No obstante, el artículo resalta algunos aportes del pintor renacentista que pueden considerarse contribuciones a la consolidación del símil. ABSTRACT The article explores whether there is any solid basis for attributing to Leonardo da Vinci the priority in formulating the simile that leads to (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  24
    Explicit Training in Human Values and Social Attitudes of Future Engineers in Spain: Commentary on “Preparing to Understand and Use Science in the Real World: Interdisciplinary Study Concentrations at the Technical University of Darmstadt”.Jaime Fabregat - 2013 - Science and Engineering Ethics 19 (4):1551-1556.
    In Spain before the 1990s there was no clear and explicit comprehensive training for future engineers with regard to social responsibility and social commitment. Following the Spanish university curricular reform, which began in the early 1990s, a number of optional subjects became available to students, concerning science, technology and society (STS), international cooperation, the environment and sustainability. The latest redefinition of the Spanish curriculum in line with the Bologna agreements has reduced the number of non-obligatory subjects, but could lead to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  21
    Barratt Impulsivity in Healthy Adults Is Associated with Higher Gray Matter Concentration in the Parietal Occipital Cortex That Represents Peripheral Visual Field.Jaime S. Ide, Hsiang C. Tung, Cheng-Ta Yang, Yuan-Chi Tseng & Chiang-Shan R. Li - 2017 - Frontiers in Human Neuroscience 11.
  47.  11
    Teaching Quality in Math Class: The Development of a Scale and the Analysis of Its Relationship with Engagement and Achievement.Jaime Leon, Elena Medina-Garrido & Juan L. Núñez - 2017 - Frontiers in Psychology 8.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  39
    Modalidades e identidade transmundana.Jaime Parera Rebello - 2012 - Veritas – Revista de Filosofia da Pucrs 57 (2):62-83.
    Models based on possible worlds have proved to be very useful in the interpretation of modal expressions. However, there is a difference in the way that mathematicians and philosophers may use such models. The mathematician constructs them to serve his own purposes and thereby determines their properties. The philosopher, on the other hand, does not have so much freedom. His objective, which is to achieve a better understanding of language, puts limits on this. Not everything can be stipulated. This fact (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  49.  22
    Multiple Authorship in Scientific Manuscripts: Ethical Challenges, Ghost and Guest/Gift Authorship, and the Cultural/Disciplinary Perspective.Jaime A. Teixeira da Silva & Judit Dobránszki - 2016 - Science and Engineering Ethics 22 (5):1457-1472.
    Multiple authorship is the universal solution to multi-tasking in the sciences. Without a team, each with their own set of expertise, and each involved mostly in complementary ways, a research project will likely not advance quickly, or effectively. Consequently, there is a risk that research goals will not be met within a desired timeframe. Research teams that strictly scrutinize their modus operandi select and include a set of authors that have participated substantially in the physical undertaking of the research, in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  50.  13
    Proof Interpretations with Truth.Jaime Gaspar & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (6):591-610.
    This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modified realizability, namely modified realizability with truth and q-modified realizability. Both variants are shown tobe derived from a single “functional interpretation with truth” of intuitionistic linear logic. This analysis suggests that several functional interpretations have truth and q-variants. These variants, however, require a more involved modification than the ones previously considered. Following this lead we present truth and q-variants (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 832