Results for 'Wim Poel'

868 found
Order:
  1.  19
    Early recognition and rapid action in zoonotic emergencies : A framework document for the proposed contribution of Wageningen University & Research to a global response for early recognition and rapid action in zoonotic emergencies.Wim Poel, Andries Koops, Ron Bergevoet, Frank Langevelde, Bieneke Bron, Peter Bonants, Joukje Siebenga, Ludo Hellebrekers, Jeroen Dijkman, Henk Hogeveen, Gorben Pijlman, Willem Jan Knibbe, Jose L. Gonzales, Joost Neerven, Jeroen Kortekaas, Alex Bossers, Marcel Zwietering, Marcel Verweij, Bart Steenhuijsen Piters & Marijn Poortvliet - unknown
    The ongoing COVID-19 pandemic and resulting health and economic crisis has caused major disruptions in the functioning of food systems and revived the discussion on what forms balanced, effective and responsible crisis management. As part of its thought leadership and its social responsibility in times of crisis, WUR is uniquely placed to contribute to the scientific knowledge base and data collection mechanisms required for early recognition and rapid response. In addition, WUR takes on the challenge to generate timely insights into (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  4
    Inventing peace: a dialogue on perception.Wim Wenders - 2013 - London: I.B. Tauris. Edited by Mary Zournazi.
    Inventing Peace' revolves around the question of how we look at the world, but do not see it when there is so much war, injustice, suffering and violence. What are the ethical and moral consequences of looking, but not seeing, and, most of all, what has become of the notion of peace in all this? In the form of a written dialogue, Wim Wenders and Mary Zournazi consider this question as one of the fundamental issues of our times as well (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  3
    Recht und Moral in der Scholastik der frühen Neuzeit 1500-1750.Wim Decock - 2016 - Berlin: Walter de Gruyter. Edited by Christiane Birr.
    Studies of early modern scholasticism are experiencing a boom today. Legal scholars, philosopher, theologians, and economists are approaching the texts of the “Spanish late scholastics” and “Catholic natural law theorists” from their own perspectives. Both beginners and experts will find the tools in this volume for conducting independent research on the sources and cross-disciplinary insight regarding the state of research.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  14
    Business Ethics: A Philosophical Introduction.Wim Dubbink & Willem van der Deijl (eds.) - 2023 - Springer Nature Switzerland.
    This textbook not only provides the student with a solid foundation in ethics, but introduces students to the most important themes relevant to business today. Issues such as human rights violation down in the supply chain, the effect business has on nature and the environment, and inclusiveness are each discussed in separate chapters, which discuss their importance, but also their challenges. While there are numerous business ethics textbooks, few take a philosophical approach to business ethics. However, without introducing philosophical ethics, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Erasmus.Wim Reckman - 1969 - Odijk,: Sjaloom;.
     
    Export citation  
     
    Bookmark  
  6.  24
    A Speech-Act Model for Talking to Management. Building a Framework for Evaluating Communication within the SRI Engagement Process.Wim Vandekerckhove, Jos Leys & Dirk Van Braeckel - 2008 - Journal of Business Ethics 82 (1):77 - 91.
    Socially Responsible Investment (SRI) has grown considerably over the past three decades. One form of SRI, engagement-SRI, is today by far the most practiced form of SRI (in assets managed) and has the potential to mainstream SRI even further. However, lack of formalized engagement procedures and evaluation tools leave the engagement practice too opaque for such a mainstreaming. This article can be considered as a first step in the development of a standard for the engagement practice. By developing an engagement (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  22
    The mental representation of ordinal sequences is spatially organized.Wim Gevers, Bert Reynvoet & Wim Fias - 2003 - Cognition 87 (3):B87-B95.
  8.  68
    The race for an artificial general intelligence: implications for public policy.Wim Naudé & Nicola Dimitri - 2020 - AI and Society 35 (2):367-379.
    An arms race for an artificial general intelligence would be detrimental for and even pose an existential threat to humanity if it results in an unfriendly AGI. In this paper, an all-pay contest model is developed to derive implications for public policy to avoid such an outcome. It is established that, in a winner-takes-all race, where players must invest in R&D, only the most competitive teams will participate. Thus, given the difficulty of AGI, the number of competing teams is unlikely (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9. Thomas More, utopia, and the aspirations of the early capitalist bourgeoisie.Wim Blockmans - 1978 - [Rotterdam]: Erasmus Universiteit Rotterdam.
    No categories
     
    Export citation  
     
    Bookmark  
  10. Embedding Values in Artificial Intelligence (AI) Systems.Ibo van de Poel - 2020 - Minds and Machines 30 (3):385-409.
    Organizations such as the EU High-Level Expert Group on AI and the IEEE have recently formulated ethical principles and (moral) values that should be adhered to in the design and deployment of artificial intelligence (AI). These include respect for autonomy, non-maleficence, fairness, transparency, explainability, and accountability. But how can we ensure and verify that an AI system actually respects these values? To help answer this question, I propose an account for determining when an AI system can be said to embody (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  11.  42
    Artificial intelligence vs COVID-19: limitations, constraints and pitfalls.Wim Naudé - 2020 - AI and Society 35 (3):761-765.
    This paper provides an early evaluation of Artificial Intelligence against COVID-19. The main areas where AI can contribute to the fight against COVID-19 are discussed. It is concluded that AI has not yet been impactful against COVID-19. Its use is hampered by a lack of data, and by too much data. Overcoming these constraints will require a careful balance between data privacy and public health, and rigorous human-AI interaction. It is unlikely that these will be addressed in time to be (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Post-error slowing: An orienting account.Wim Notebaert, Femke Houtman, Filip Van Opstal, Wim Gevers, Wim Fias & Tom Verguts - 2009 - Cognition 111 (2):275-279.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  13.  4
    Bernardus Philosophus.Wim Verbaal - 2004 - Revista Portuguesa de Filosofia 60 (3):567 - 586.
    Bernard is generally considered the representative of the medieval anti-philosophical tendencies par excellence. A more detailed study of his writings, however, shows his attitude to be much more complicated. This article examines how Bernard's approach to philosophy changed over the years. It concentrates on two periods, the first confrontation with Abelard around 1127 and the years after the confrontation with Gilbert of Poitiers (1148). For both periods, Bernard's writings are examined to study his attitude towards philosophy. Special attention is paid (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  11
    Augmenting Instructional Animations with a Body Analogy to Help Children Learn about Physical Systems.Wim T. J. L. Pouw, Tamara van Gog, Rolf A. Zwaan & Fred Paas - 2016 - Frontiers in Psychology 7.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15.  30
    An Ethical Framework for Evaluating Experimental Technology.Ibo Poel - 2016 - Science and Engineering Ethics 22 (3):667-686.
    How are we to appraise new technological developments that may bring revolutionary social changes? Currently this is often done by trying to predict or anticipate social consequences and to use these as a basis for moral and regulatory appraisal. Such an approach can, however, not deal with the uncertainties and unknowns that are inherent in social changes induced by technological development. An alternative approach is proposed that conceives of the introduction of new technologies into society as a social experiment. An (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  16.  67
    Designing games to teach ethics.Peter Lloyd & Ibo van de Poel - 2008 - Science and Engineering Ethics 14 (3):433-447.
    This paper describes a teaching methodology whereby students can gain practical experience of ethical decision-making in the engineering design process. We first argue for the necessity to teach a ‘practical’ understanding of ethical issues in engineering education along with the usual theoretical or hypothetical approaches. We then show how this practical understanding can be achieved by using a collaborative design game, describing how, for example, the concept of responsibility can be explored from this practical basis. We conclude that the use (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  17.  9
    Neo-Thomism in action: law and society reshaped by neo-scholastic philosophy, 1880-1960.Wim Decock, Bart Raymaekers & Peter Heyrman (eds.) - 2021 - Leuven: Leuven University Press.
    In his encyclical 'Aeterni Patris' (1879), Pope Leo XIII expressed the conviction that the renewed study of the philosophical legacy of Saint Thomas Aquinas would help Catholics to engage in a dialogue with secular modernity while maintaining respect for Church doctrine and tradition. As a result, the neo-scholastic framework dominated Catholic intellectual production for nearly a century thereafter. This volume assesses the societal impact of the Thomist revival movement, with particular attention to the juridical dimension of this epistemic community. Contributions (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  14
    The Epicurean Sage in the Ethics of Philodemus.Wim Nijs - 2023 - Boston: BRILL.
    Through a careful analysis of the ethics of Philodemus, this monograph offers the first book-length study of the Epicurean sage. It explores the different aspects of the sage’s way of life and offers a reconstruction of this Epicurean role model.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  10
    Ist metaphysik nur AlS meta-physik moglich?Wim Thys - 1987 - Bijdragen 48 (1):14-31.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20. Virtue ethics and management.Wim Vandekerckhove - 2014 - In S. van Hooft, N. Athanassoulis, J. Kawall, J. Oakley & L. van Zyl (eds.), The handbook of virtue ethics. Durham: Acumen Publishing.
     
    Export citation  
     
    Bookmark  
  21.  37
    Enrico Martino.*Intuitionistic Proof Versus Classical Truth, The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics.Wim Veldman - 2019 - Philosophia Mathematica 27 (3):445-450.
    MartinoEnrico.* * Intuitionistic Proof Versus Classical Truth, The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics. Logic, Methodology and the Unity of Science; 42. Springer, 2018. ISBN: 978-3-319-74356-1 ; 978-3-030-08971-9, 978-3-319-74357-8. Pp. xiii + 170.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  61
    Three philosophical perspectives on the relation between technology and society, and how they affect the current debate about artificial intelligence.Ibo van de Poel - 2020 - Human Affairs 30 (4):499-511.
    Three philosophical perspectives on the relation between technology and society are distinguished and discussed: 1) technology as an autonomous force that determines society; 2) technology as a human construct that can be shaped by human values, and 3) a co-evolutionary perspective on technology and society where neither of them determines the other. The historical evolution of the three perspectives is discussed and it is argued that all three are still present in current debates about technological change and how it may (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23. How number is associated with space?: the role of working memory.Wim Fias, Jean-Philippe van Dijck & Wim Gevers - 2011 - In Stanislas Dehaene & Elizabeth Brannon (eds.), Space, Time and Number in the Brain. Oxford University Press. pp. 133-148.
  24.  2
    Anisotropy and Antagonism in the Coupling of Two Oscillators: Concepts and Applications for Between-Person Coordination.Harjo J. de Poel - 2016 - Frontiers in Psychology 7.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  57
    Unraveling the Role of Empathy and Critical Life Events as Triggers for Social Entrepreneurship.Wim Lambrechts, Marjolein C. J. Caniëls, Ingrid Molderez, Ronald Venn & Reinke Oorbeek - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  8
    Participeren aan de natuur: ontwerp voor een ecologisering van het wereldbeeld.Wim Zweers - 1995 - Amsterdam: Jan van Arkel.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  27.  15
    REA2: A unified formalisation of the Resource-Event-Agent ontology.Wim Laurier, Jesper Kiehn & Simon Polovina - 2018 - Applied ontology 13 (3):201-224.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  26
    Self-Organization Through Semiosis.Wim Beekman & Henk Jochemsen - 2023 - Biological Theory 18 (2):90-100.
    This article deals with the question of how self-organization in living organisms is realized. Self-organization may be observed in open systems that are out of equilibrium. Many disequilibria-conversion phenomena exist where free energy conversion occurs by spontaneously formed engines. However, how is self-organization realized in living entities? Living cells turn out to be self-organizing disequilibria-converting systems of a special kind. Disequilibrium conversion is realized in a typical way, through employing information specifying protein complexes acting as nano engines. The genetic code (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  10
    Rethinking success, integrity, and culture in research (part 2) — a multi-actor qualitative study on problems of science.Wim Pinxten & Noémie Aubert Bonn - 2021 - Research Integrity and Peer Review 6 (1).
    BackgroundResearch misconduct and questionable research practices have been the subject of increasing attention in the past few years. But despite the rich body of research available, few empirical works also include the perspectives of non-researcher stakeholders.MethodsWe conducted semi-structured interviews and focus groups with policy makers, funders, institution leaders, editors or publishers, research integrity office members, research integrity community members, laboratory technicians, researchers, research students, and former-researchers who changed career to inquire on the topics of success, integrity, and responsibilities in science. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Duurzame ontwikkeling en de derde weg.Wim Hajkamp - forthcoming - Idee.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  24
    On Abduction, Deduction, Induction and the Categories.Wim Staat - 1993 - Transactions of the Charles S. Peirce Society 29 (2):225 - 237.
  32.  35
    Cognitive control acts locally.Wim Notebaert & Tom Verguts - 2008 - Cognition 106 (2):1071-1080.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  33.  19
    Entrainment and Modulation of Gesture–Speech Synchrony Under Delayed Auditory Feedback.Wim Pouw & James A. Dixon - 2019 - Cognitive Science 43 (3):e12721.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  40
    Algorithms and values in justice and security.Paul Hayes, Ibo van de Poel & Marc Steen - 2020 - AI and Society 35 (3):533-555.
    This article presents a conceptual investigation into the value impacts and relations of algorithms in the domain of justice and security. As a conceptual investigation, it represents one step in a value sensitive design based methodology. Here, we explicate and analyse the expression of values of accuracy, privacy, fairness and equality, property and ownership, and accountability and transparency in this context. We find that values are sensitive to disvalue if algorithms are designed, implemented or deployed inappropriately or without sufficient consideration (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  20
    Value Change in Energy Systems.Behnam Taebi & Ibo van de Poel - 2022 - Science, Technology, and Human Values 47 (3):371-379.
    The ongoing energy transition toward more sustainable energy systems implies a change in the values for which such systems are designed. The energy transition however is not just about sustainability but also about values like energy security and affordability, and we witness the emergence of new values like energy justice and energy democracy. How can we understand such value changes and how can or should they affect the design of future energy systems? This introduction to the special section on value (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  49
    Investigating ethical issues in engineering design.Ibo Poel - 2001 - Science and Engineering Ethics 7 (3):429-446.
    This paper aims at contributing to a research agenda in engineering ethics by exploring the ethical aspects of engineering design processes. A number of ethically relevant topics with respect to design processes are identified. These topics could be a subject for further research in the field of engineering ethics. In addition, it is argued that the way design processes are now organised and should be organised from a normative point of view is an important topic for research.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  37.  12
    Are gesture and speech mismatches produced by an integrated gesture-speech system? A more dynamically embodied perspective is needed for understanding gesture-related learning.Wim T. J. L. Pouw, Tamara van Gog, Rolf A. Zwaan & Fred Paas - 2017 - Behavioral and Brain Sciences 40.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  48
    The Structure of Autocatalytic Sets: Evolvability, Enablement, and Emergence.Wim Hordijk, Mike Steel & Stuart Kauffman - 2012 - Acta Biotheoretica 60 (4):379-392.
    This paper presents new results from a detailed study of the structure of autocatalytic sets. We show how autocatalytic sets can be decomposed into smaller autocatalytic subsets, and how these subsets can be identified and classified. We then argue how this has important consequences for the evolvability, enablement, and emergence of autocatalytic sets. We end with some speculation on how all this might lead to a generalized theory of autocatalytic sets, which could possibly be applied to entire ecologies or even (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39.  9
    De ontwikkeling van de collectieve uitgavenquote en de ombuigingen in de gemeentefinanciën.Wim Moesen, Jacques Vanneste & Yolande Vansina - 1990 - Res Publica 32 (4):557-577.
    Budgetary austerity has been implemented by all levels of government in Belgium since 1982. The public attention has focussed on the achievements of the centra[ level. However, also at the local level a remarkable budgetary retrenchment has been realised. This study investigates the various aspects of decremental budgeting of the Belgian municipolities, both at the expenditures and the revenues side.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  53
    Basic logic, k4, and persistence.Wim Ruitenburg - 1999 - Studia Logica 63 (3):343-352.
    We characterize the first-order formulas with one free variable that are preserved under bisimulation and persistence or strong persistence over the class of Kripke models with transitive frames and unary persistent predicates.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  54
    The Fragile Structure of Free-Market Society: The Radical Implications of Corporate Social Responsibility.Wim Dubbink - 2004 - Business Ethics Quarterly 14 (1):23-46.
    In this article thinking on corporate social responsibility is compared with the dominant political theory of the market: theneoclassical theory. The comparison shows that thinking on CSR fundamentally collides with that theory. For example, their respectivenormative views on man are incompatible, as are their respective views on the modus operandi of the market. Given that CSR is desirable it follows that a new political theory of the market is needed. This article suggests some initial steps toward developing that new political (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  42.  14
    Not a Good Fix: Constitutivism on Value Change and Disagreement.Michael Klenk & Ibo van de Poel - forthcoming - Erkenntnis:1-18.
    We examine whether Thomsonian constitutivism, a metaethical view that analyses value in terms of ‘goodness-fixing kinds,’ i.e. kinds that themselves set the standards for being a good instance of the respective kind, offers a satisfactory explanation of value change and disagreement. While value disagreement has long been considered an important explanandum, we introduce value change as a closely related but distinct phenomenon of metaethical interest. We argue that constitutivism fails to explain both phenomena because of its commitment to goodness-fixing kinds. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  35
    The Bystander in Commercial Life: Obliged by Beneficence or Rescue?Wim Dubbink - 2018 - Journal of Business Ethics 149 (1):1-13.
    Liberalist thinking argues that moral agents have a right to pursue an ordinary life. It also insists that moral agent can be bystanders. A bystander is involved with morally bad states of affairs in the sense that they are bound by moral duty, but for a non-blameworthy reason. A common view on the morality of commercial life argues that commercial agents cannot and ought not to assume the status of bystander, when confronted with child labor, pollution, or other overwhelmingly big (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  44.  31
    Safe-by-Design: from Safety to Responsibility.Zoë Robaey & Ibo Poel - 2017 - NanoEthics 11 (3):297-306.
    Safe-by-design aims at addressing safety issues already during the R&D and design phases of new technologies. SbD has increasingly become popular in the last few years for addressing the risks of emerging technologies like nanotechnology and synthetic biology. We ask to what extent SbD approaches can deal with uncertainty, in particular with indeterminacy, i.e., the fact that the actual safety of a technology depends on the behavior of actors in the value chain like users and operators. We argue that while (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  45.  16
    A Systematic Investigation of Gesture Kinematics in Evolving Manual Languages in the Lab.Wim Pouw, Mark Dingemanse, Yasamin Motamedi & Aslı Özyürek - 2021 - Cognitive Science 45 (7):e13014.
    Silent gestures consist of complex multi‐articulatory movements but are now primarily studied through categorical coding of the referential gesture content. The relation of categorical linguistic content with continuous kinematics is therefore poorly understood. Here, we reanalyzed the video data from a gestural evolution experiment (Motamedi, Schouwstra, Smith, Culbertson, & Kirby, 2019), which showed increases in the systematicity of gesture content over time. We applied computer vision techniques to quantify the kinematics of the original data. Our kinematic analyses demonstrated that gestures (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  4
    Timing in conversation is dynamically adjusted turn by turn in dyadic telephone conversations.Wim Pouw & Judith Holler - 2022 - Cognition 222 (C):105015.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  45
    Rethinking the Purity of Moral Motives in Business: Kant Against Moral Purism.Wim Dubbink & Luc van Liedekerke - 2020 - Journal of Business Ethics 167 (3):379-393.
    Moral purism is a commonly held view on moral worthiness and how to identify it in concrete cases. Moral purists long for a moral world in which (business) people—at least sometimes—act morally worthy, but in concrete cases they systematically discount good deeds as grounded in self-interest. Moral purism evokes moral cynicism. Moral cynicism is a problem, both in society at large and the business world. Moral cynicism can be fought by refuting moral purism. This article takes issue with moral purism. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  71
    CSR, Transparency and the Role of Intermediate Organisations.Wim Dubbink, Johan Graafland & Luc van Liedekerke - 2008 - Journal of Business Ethics 82 (2):391 - 406.
    Transparency is a crucial condition to implement a CSR policy based on the reputation mechanism. The central question of this contribution is how a transparency policy ought to be organised in order to enhance the CSR behaviour of companies. Governments endorsing CSR as a new means of governance have different strategies to foster CSR transparency. In this paper we discuss the advantages and disadvantages of two conventional policy strategies: the facilitation policy and the command and control strategy. Using three criteria (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  49.  74
    The structuring of legal knowledge in Lois.Wim Peters, Maria-Teresa Sagri & Daniela Tiscornia - 2007 - Artificial Intelligence and Law 15 (2):117-135.
    Legal information retrieval is in need of the provision of legal knowledge for the improvement of search strategies. For this purpose, the LOIS project is concerned with the construction of a multilingual WordNet for cross-lingual information retrieval in the legal domain. In this article, we set out how a hybrid approach, featuring lexically and legally grounded conceptual representations, can fit the cross-lingual information retrieval needs of both legal professionals and laymen.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  50. On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
    In classical propositional calculus for each proposition A(p) the following holds: $\vdash A(p) \leftrightarrow A^3(p)$ . In this paper we consider what remains of this in the intuitionistic case. It turns out that for each proposition A(p) the following holds: there is an n ∈ N such that $\vdash A^n(p) \leftrightarrow A^{n + 2}(p)$ . As a byproduct of the proof we give some theorems which may be useful elsewhere in propositional calculus.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 868