Results for 'hype'

245 found
Order:
  1. HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
    This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  2.  73
    Between hype and hope: What is really at stake with personalized medicine?Camille Abettan - 2016 - Medicine, Health Care and Philosophy 19 (3):423-430.
    Over the last decade, personalized medicine has become a buzz word, which covers a broad spectrum of meanings and generates many different opinions. The purpose of this article is to achieve a better understanding of the reasons why personalized medicine gives rise to such conflicting opinions. We show that a major issue of personalized medicine is the gap existing between its claims and its reality. We then present and analyze different possible reasons for this gap. We propose an hypothesis inspired (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  84
    Hype and Public Trust in Science.Zubin Master & David B. Resnik - 2013 - Science and Engineering Ethics 19 (2):321-335.
    Social scientists have begun elucidating the variables that influence public trust in science, yet little is known about hype in biotechnology and its effects on public trust. Many scholars claim that hyping biotechnology results in a loss of public trust, and possibly public enthusiasm or support for science, because public expectations of the biotechnological promises will be unmet. We argue for the need for empirical research that examines the relationships between hype, public trust, and public enthusiasm/support. We discuss (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  25
    Ethics Hype?Timothy Caulfield - 2016 - Hastings Center Report 46 (5):13-16.
    There has been growing concern about the phenomenon of science hype, the tendency to exaggerate the value or near-future application of research results. Although this is a problem that touches every area of biomedicine, the topic of genetics seems to be particularly prone to enthusiastic predictions. The world has been told for over two decades-by the media, researchers, politicians, and the biotech industry-that a genome-driven health care revolution is just around the corner. And while the revolution never seems to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  85
    Understanding the Problem of “Hype”: Exaggeration, Values, and Trust in Science.Kristen Intemann - 2022 - Canadian Journal of Philosophy 52 (3):279-294.
    Several science studies scholars report instances of scientific “hype,” or sensationalized exaggeration, in journal articles, institutional press releases, and science journalism in a variety of fields (e.g., Caulfield and Condit 2012). Yet, how “hype” is being conceived varies. I will argue that hype is best understood as a particular kind of exaggeration, one that explicitly or implicitly exaggerates various positive aspects of science in ways that undermine the goals of science communication in a particular context. This account (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  5
    Neither hype nor gloom do DNNs justice.Felix A. Wichmann, Simon Kornblith & Robert Geirhos - 2023 - Behavioral and Brain Sciences 46:e412.
    Neither the hype exemplified in some exaggerated claims about deep neural networks (DNNs), nor the gloom expressed by Bowers et al. do DNNs as models in vision science justice: DNNs rapidly evolve, and today's limitations are often tomorrow's successes. In addition, providing explanations as well as prediction and image-computability are model desiderata; one should not be favoured at the expense of the other.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  5
    Hype, Hope, and Help: Situating a Science Announcement in a Web of Stories.Julia Diekämper & Solveig Lena Hansen - 2019 - NanoEthics 13 (3):269-272.
    This art-science-interaction article focuses on moral implications of a recent science announcement. Against the background of literary and cultural theories, it compares a YouTube story with narratives employed in fictional stories.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  7
    More Hype Than Substance? A Meta-Analysis on Job and Task Rotation.Lisa Mlekus & Günter W. Maier - 2021 - Frontiers in Psychology 12.
    Although there exist numerous publications on job and task rotation from various disciplines, there is no consistent evidence of their effectiveness. Drawing on theories from industrial and organizational psychology, knowledge management, ergonomics, and management science, we meta-analytically investigated relationships between job/task rotation and employee attitudes, learning and development, psychological and physical health, and organizational performance. Due to a conceptual overlap and frequent confusion of terminology, we analyzed the design of the rotation (job rotation vs. task rotation) as a possible moderator. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  20
    "Hyping the Norton" -- Comment on the Norton Anthology of Theory and Criticism.David H. Richter - 2003 - Symploke 11 (1):243-246.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Anthropomorphism in AI: Hype and Fallacy.Adriana Placani - 2024 - AI and Ethics.
    This essay focuses on anthropomorphism as both a form of hype and fallacy. As a form of hype, anthropomorphism is shown to exaggerate AI capabilities and performance by attributing human-like traits to systems that do not possess them. As a fallacy, anthropomorphism is shown to distort moral judgments about AI, such as those concerning its moral character and status, as well as judgments of responsibility and trust. By focusing on these two dimensions of anthropomorphism in AI, the essay (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Don't Believe the Hype: Why Should Philosophical Theories Yield to Intuitions?Moti Mizrahi - 2015 - Teorema: International Journal of Philosophy 34 (3):141-158.
    In this paper, I argue that, contrary to common opinion, a counterexample against a philosophical theory does not amount to conclusive evidence against that theory. Instead, the method of counterexamples allows for the derivation of a disjunction, i.e., ‘either the theory is false or an auxiliary assumption is false’, not a negation of the target theory. This is so because, whenever the method of counterexamples is used in an attempt to refute a philosophical theory, there is a crucial auxiliary assumption (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  9
    Hype After Hype: From Bio to Nano to AI.Franz Seifert & Camilo Fautz - 2021 - NanoEthics 15 (2):143-148.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Hyped Virtues, Hidden Vices: The Ethics of Icelandic Sports Literature.Guðmundur Sæmundsson & Kristján Kristjánsson - 2011 - Sport, Ethics and Philosophy 5 (4):379 - 395.
    Ideally, good sports literature illuminates the subtle moral contours of sports reality. We ask in this paper how modern Icelandic literature describes sport-related ethical issues and attitudes. Our findings indicate that, in stark contrast to the rampant egocentrism, individual vice and misconduct blighting Icelandic sports reality, modern Icelandic prose literature typically either ignores this reality or refers to sports as if they were in full harmony with idealised ancient virtues and morals. Our conclusion is that this discrepancy admits of four (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  14
    How hyped media and misleading editorials can influence impressions about Beall’s lists of “predatory” publications.Jaime A. Teixeira da Silva & Panagiotis Tsigaris - 2019 - Journal of Information, Communication and Ethics in Society 17 (4):438-444.
    PurposeThe issue of “predatory” publishing and the scholarly value of journals that claim to operate within an academic framework, namely, by using peer review and editorial quality control, but do not, while attempting to extract open access or other publication-related fees, is an extremely important topic that affects academics around the globe. Until 2017, global academia relied on two now-defunct Jeffrey Beall “predatory” OA publishing blacklists to select their choice of publishing venue. This paper aims to explore how media has (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Hyping Clyde Beatty and His Wild Animal Show.Virginia Anderson - 2017 - In Laurie A. Frederik (ed.), Showing off, showing up: studies of hype, heightened performance, and cultural power. Ann Arbor: University of Michigan Press.
     
    Export citation  
     
    Bookmark  
  16.  18
    Hope, Hype and Help: Ethically Assessing the Growing Market in Stem Cell Therapies.Arthur Caplan & Bruce Levine - 2010 - American Journal of Bioethics 10 (5):24-25.
  17. Heroic Hype, New Style: Hollywood Pitted Against Homer: Troy, directed by Wolfgang Pertersen.Peter Green - 2004 - Arion 12 (1).
    No categories
     
    Export citation  
     
    Bookmark  
  18.  37
    Everything in moderation, even hype: learning from vaccine controversies to strike a balance with CRISPR.Shawna Benston - 2017 - Journal of Medical Ethics 43 (12):819-823.
    The ease and applicability of CRISPR/Cas9––a new and precise gene editing and reproductive technology––have garnered hype and heightened concern about its potential ‘unprecedented and horrific consequences’ and have led many scientific leaders to call for a moratorium on its research and use. CRISPR appears distinctly more controversial than previous technological innovations, with a greater reach and speed of human treatment and enhancement; however, we have seen similarly inflated hopes and fears in response to other medical innovations for well over (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19. Neuroeconomics: Hype or Hope: Rotterdam, 20‐22 November, 2008.Federica Russo - 2009 - Humana Mente 3 (10).
  20.  11
    The hype machine: How social media disrupts our elections, our economy and our health‐ and how we must adapt.Inderpal Singh & Shailey Singh - 2021 - Business and Society Review 126 (1):101-104.
    Business and Society Review, Volume 126, Issue 1, Page 101-104, Spring 2021.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  24
    Big Data and surveillance: Hype, commercial logics and new intimate spheres.William Webster & Kirstie Ball - 2020 - Big Data and Society 7 (1).
    Big Data Analytics promises to help companies and public sector service providers anticipate consumer and service user behaviours so that they can be targeted in greater depth. The attempts made by these organisations to connect analytically with users raise questions about whether surveillance, and its associated ethical and rights-based concerns, are intensified. The articles in this special themed issue explore this question from both organisational and user perspectives. They highlight the hype which firms use to drive consumer, employee and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  24
    Hype oder Horror.Cathrin Hein, Wanja Wellbrock & Christoph Hein - 2019 - Zeitschrift für Medien- Und Kulturforschung 10 (2):137-154.
    "Dieser Beitrag fasst den aktuellen Stand der rechtlichen Herausforderungen der Blockchain-Technologie kurz und prägnant zusammen. Blockchain stellt, ähnlich dem World Wide Web, eine Art Grundlagentechnologie dar, auf deren Basis neue Plattformen und Geschäftsmodelle geschaffen werden können. Es stellt sich jedoch die Frage, ob das deutsche Rechtssystem grundsätzlich in der Lage ist, die Herausforderungen, die eine solch dezentrale Technologie mit sich bringt, zu bewältigen. Insbesondere hinsichtlich strafbarer Handlungen oder der neuen Datenschutzgrundverordnung. Fraglich ist dabei, wie sich die derzeitigen Negativschlagzeilen (beispielsweise Silk (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  13
    Hybrids-Hype or Hope?Alfred A. Marcus & Donald A. Geffen - 2005 - Business and Professional Ethics Journal 24 (1):141-161.
  24.  18
    Beyond the hype: ‘acceptable futures’ for AI and robotic technologies in healthcare.Giulia De Togni, S. Erikainen, S. Chan & S. Cunningham-Burley - forthcoming - AI and Society:1-10.
    AI and robotic technologies attract much hype, including utopian and dystopian future visions of technologically driven provision in the health and care sectors. Based on 30 interviews with scientists, clinicians and other stakeholders in the UK, Europe, USA, Australia, and New Zealand, this paper interrogates how those engaged in developing and using AI and robotic applications in health and care characterize their future promise, potential and challenges. We explore the ways in which these professionals articulate and navigate a range (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  12
    Hooked on Hype: Addiction and Responsibility.Stephen J. Morse - 2000 - Law and Philosophy 19 (1):3-49.
  26.  21
    Beyond the hype: the inside story of science's biggest media controversies.Fiona Fox - 2022 - London: Elliott & Thompson.
    What happens when science hits the headlines - for all the wrong reasons? Do you remember the 'Climategate' email leak? Or the 'Frankenscience'-style headlines about the perils of GM foods? What about the time the government sacked its own science advisor for challenging drug laws? The truth behind the attention-grabbing headlines was complex, nuanced - sometimes even mundane. Yet that's not how it was reported or remembered. We rely on the media to help us make sense of complicated scientific developments (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  30
    Beyond the Hype: The Value of Evolutionary Theorizing in Economics.James Bohman - 2013 - Philosophy of the Social Sciences 43 (1):46-72.
    In this paper, I consider the recent resurgence of “evolutionary economics”—the idea that evolutionary theory can be very useful to push forward key debates in economics—and assess the extent to which it rests on a plausible foundation. To do this, I first distinguish two ways in which evolutionary theory can, in principle, be brought to bear on an economic problem—namely, evidentially and heuristically—and then apply this distinction to the three major hypotheses that evolutionary economists have come to defend: the implausibility (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Quantum hypercomputation—hype or computation?Amit Hagar & Alex Korolev - 2007 - Philosophy of Science 74 (3):347-363.
    A recent attempt to compute a (recursion‐theoretic) noncomputable function using the quantum adiabatic algorithm is criticized and found wanting. Quantum algorithms may outperform classical algorithms in some cases, but so far they retain the classical (recursion‐theoretic) notion of computability. A speculation is then offered as to where the putative power of quantum computers may come from.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  29.  9
    Waldorf, Montessori und Pestalozzi‐Hype? – Schulnamen im Spiegel der Geschichte der Pädagogik.Sebastian Engelmann & Katharina Weiand - forthcoming - Berichte Zur Wissenschaftsgeschichte.
    Schools in Germany are frequently named after people. Thus, these persons are remembered in the public sphere. This article answers the question to what extent the school names in the federal state of Thuringia correspond with the history of scientific pedagogy. For this purpose, in a first step, the controversial discussion about key figures in pedagogy and history of education is presented. In a second step the entirety of all school names in Thuringia is considered and individual results are discussed. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. Postdigital Prospects for Blockchain-Disrupted Higher Education: Beyond the Theater, Memes and Marketing Hype.Shane J. Ralston - 2020 - Postdigital Science and Education 2 (1):280-288.
    With DLT’s success in driving the development of cryptocurrency (such as Bitcoin), the technology bridged to a myriad of knowledge-based applications, most notably in the areas of commerce, industry and government . In the language of technology sector insiders, these areas were ‘disrupted’ by Blockchain. Some higher education analysts, technology industry insiders and futurists have claimed that Blockchain technology will inevitably disrupt higher education in a similarly dramatic fashion. The aim of this commentary is to introduce a healthy dose of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  22
    AI management beyond the hype: exploring the co-constitution of AI and organizational context.Jonny Holmström & Markus Hällgren - 2022 - AI and Society 37 (4):1575-1585.
    AI technologies hold great promise for addressing existing problems in organizational contexts, but the potential benefits must not obscure the potential perils associated with AI. In this article, we conceptually explore these promises and perils by examining AI use in organizational contexts. The exploration complements and extends extant literature on AI management by providing a typology describing four types of AI use, based on the idea of co-constitution of AI technologies and organizational context. Building on this typology, we propose three (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  11
    Science fictions: exposing fraud, bias, negligence and hype in science.Stuart Ritchie - 2020 - London: The Bodley Head.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  10
    The Promise and the Hype of ‘Personalised Medicine’.Tim Maughan - 2017 - The New Bioethics 23 (1):13-20.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  31
    Is the HYPE about strength warranted?Martin Fischer - 2022 - Synthese 200 (3):1-25.
    In comparing classical and non-classical solutions to the semantic paradoxes arguments relying on strength have been influential. In this paper I argue that non-classical solutions should preserve the proof-theoretic strength of classical solutions. Leitgeb’s logic of HYPE is then presented as an interesting possibility to strengthen FDE with a suitable conditional. It is shown that HYPE allows for a non-classical Kripkean theory of truth, called KFL, that is strong enough for the relevant purposes and has additional attractive properties.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  35. Bad samaritan laws: More hype than help?M. H. - 2000 - Law and Philosophy 19 (6):707-750.
     
    Export citation  
     
    Bookmark  
  36. Integrative social contracts theory: Hype over hypernorms. [REVIEW]Mark Douglas - 2000 - Journal of Business Ethics 26 (2):101 - 110.
    Applying social contract theory to business ethics is a relatively new idea, and perhaps nobody has pursued this direction better than Thomas Donaldson and Thomas W. Dunfee. Their "Integrative Social Contracts Theory" manages to combine culturally sensitive decision making capacities with trans-cultural norms by setting up a layered system of social contracts. Lurking behind their work is a concern with the problems of relativism. They hope to alleviate these problems by introducing three concepts important to the ISCT: "authentic norms," which (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  37. Beyond the Hype: The Value of Evolutionary Theorizing in Economics.Armin W. Schulz - 2013 - Philosophy of the Social Sciences 43 (1):46-72.
    In this paper, I consider the recent resurgence of “evolutionary economics”—the idea that evolutionary theory can be very useful to push forward key debates in economics—and assess the extent to which it rests on a plausible foundation. To do this, I first distinguish two ways in which evolutionary theory can, in principle, be brought to bear on an economic problem—namely, evidentially and heuristically—and then apply this distinction to the three major hypotheses that evolutionary economists have come to defend: the implausibility (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  35
    Correction to: HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):407-407.
    The original version of the article unfortunately contained a mistake. The author missed to mention the support by a EU-funded research network that he is involved in. See below. This work was supported by the Marie-Sklodowska-Curie Innovative Training Network DIAPHORA.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  8
    The Skeptic: Beyond the Hype.Wendy M. Grossman - 2023 - The Philosophers' Magazine 99:23-25.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  47
    Hooked on hype: Addiction and responsibility. [REVIEW]Stephen J. Morse - 2000 - Law and Philosophy 19 (1):3 - 49.
  41.  7
    Fraud and Hype in Science.Sharon Begley - 1992 - Bulletin of Science, Technology and Society 12 (2):69-71.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  5
    Don’t Believe the Hype.Benjamin Mitchell-Yellin - 2024 - Teaching Philosophy 47 (2):193-211.
    This paper argues that the threat Large Language Models (LLMs), such as ChatGPT, pose to writing instruction is both not entirely new and a welcome disruption to the way writing instruction is typically delivered. This new technology seems to be prompting many instructors to question whether essay responses to paper prompts reflect students’ own thinking and learning. This uneasiness is long overdue, and the hope is it leads instructors to explore evidence-based best practices familiar from the scholarship of teaching and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  12
    Introduction:'Neuroeconomics: Hype or Hope?'.Jack J. Vromen & Caterina Marchionni - 2010 - Journal of Economic Methodology 17 (2).
  44. Hooked on hype: Addiction and responsibility.J. S. - 2000 - Law and Philosophy 19 (1):3-49.
     
    Export citation  
     
    Bookmark  
  45.  13
    Beyond the Hype.Andrew Feenberg - 2017 - Foundations of Science 22 (2):381-383.
    In this reply I discuss Ellen Rose’s observations on online education as she has practiced it and Evan Selinger’s concerns about the introduction of big data in the university. Both authors are in agreement that neo-liberalism is restructuring the university, but add new considerations to the argument.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  18
    Information and Communication Technology Inside Out: From Hype to Literacy.Søren Riis - 2017 - Foundations of Science 22 (2):405-409.
    Information and communication technology has become the great technological fix of our time and not the least in the education system. There seems to be no end to the hype of ICT and the accompanying promises that education will be revolutionized—“smart” pupils will be made and the so-called knowledge society propelled. This master narrative has many co-authors, some of whom have the best intentions and realize the big challenge of educating the world population. In response to the two insightful (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  46
    Nonclassical Truth with Classical Strength. A Proof-Theoretic Analysis of Compositional Truth Over Hype.Martin Fischer, Carlo Nicolai & Pablo Dopico - 2023 - Review of Symbolic Logic 16 (2):425-448.
    Questions concerning the proof-theoretic strength of classical versus nonclassical theories of truth have received some attention recently. A particularly convenient case study concerns classical and nonclassical axiomatizations of fixed-point semantics. It is known that nonclassical axiomatizations in four- or three-valued logics are substantially weaker than their classical counterparts. In this paper we consider the addition of a suitable conditional to First-Degree Entailment—a logic recently studied by Hannes Leitgeb under the label HYPE. We show in particular that, by formulating the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  33
    European do‐it‐yourself (DIY) biology: Beyond the hope, hype and horror.Günter Seyfried, Lei Pei & Markus Schmidt - 2014 - Bioessays 36 (6):548-551.
    The encounter of amateur science with synthetic biology has led to the formation of several amateur/do‐it‐yourself biology (DIYBio) groups worldwide. Although media outlets covered DIYBio events, most seemed only to highlight the hope, hype, and horror of what DIYBio would do in the future. Here, we analyze the European amateur biology movement to find out who they are, what they aim for and how they differ from US groups. We found that all groups are driven by a core leadership (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  49.  21
    Sequent Calculi for the Propositional Logic of HYPE.Martin Fischer - 2021 - Studia Logica 110 (3):1-35.
    In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  6
    Sequent Calculi for the Propositional Logic of HYPE.Martin Fischer - 2021 - Studia Logica 110 (3):643-677.
    In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 245