Results for 'Francesca Conradie'

1000+ found
Order:
  1.  27
    Needs must: living donor liver transplantation from an HIV-positive mother to her HIV-negative child in Johannesburg, South Africa.Harriet Rosanne Etheredge, June Fabian, Mary Duncan, Francesca Conradie, Caroline Tiemessen & Jean Botha - 2019 - Journal of Medical Ethics 45 (5):287-290.
    The world’s first living donor liver transplant from an HIV-positive mother to her HIV-negative child, performed by our team in Johannesburg, South Africa in 2017, was necessitated by disease profile and health system challenges. In our country, we have a major shortage of donor organs, which compels us to consider innovative solutions to save lives. Simultaneously, the transition of the HIV pandemic, from a death sentence to a chronic illness with excellent survival on treatment required us to rethink our policies (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  15
    An algebraic look at filtrations in modal logic.W. Conradie, W. Morton & C. J. van Alten - 2013 - Logic Journal of the IGPL 21 (5):788-811.
  3. Metaphysics as a Guide to Morals.Iris Murdoch & Peter J. Conradi - 2001 - Journal of Religious Ethics 29 (2):307-335.
    Iris Murdoch's moral philosophy has long influenced contemporary ethics, yet it has not, in general, received the kind of sustained critical attention that it deserves. "Existentialists and Mystics" and "Metaphysics as a Guide to Morals" provide new access to most of Murdoch's philosophical writings and make possible a deeper appreciation of her contribution to current thought. After assessing the recent critical reception of Murdoch's thought, this review places her moral philosophy in the context of contemporary trends in ethics by tracing (...)
     
    Export citation  
     
    Bookmark   112 citations  
  4. Embodied Attention. A phenomenological hypothesis.Francesca Brencio - 2023 - In Contemporary Neuropsychiatry: Implications from Cognitive Neuroscience.
    F. Brencio (2023), Embodied Attention. A phenomenological hypothesis, in D. Stoyanov (Ed.), Contemporary Neuropsychiatry: Implications from Cognitive Neuroscience, Cambridge Scholars Publishing, Cambridge, pp. 26-42.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  4
    Modal reduction principles: a parametric shift to graphs.Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano & Mattia Panettiere - 2024 - Journal of Applied Non-Classical Logics 34 (2-3):174-222.
    Graph-based frames have been introduced as a logical framework which internalises an inherent boundary to knowability (referred to as ‘informational entropy’), due, e.g. to perceptual, evidential or linguistic limits. They also support the interpretation of lattice-based (modal) logics as hyper-constructive logics of evidential reasoning. Conceptually, the present paper proposes graph-based frames as a formal framework suitable for generalising Pawlak's rough set theory to a setting in which inherent limits to knowability exist and need to be considered. Technically, the present paper (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  63
    Gender in medical ethics: Re-examining the conceptual basis of empirical research.Elisabeth Conradi, Nikola Biller-Andorno, Margarete Boos, Christina Sommer & Claudia Wiesemann - 2003 - Medicine, Health Care and Philosophy 6 (1):51-58.
    Conducting empirical research on gender in medical ethics is a challenge from a theoretical as well as a practical point of view. It still has to be clarified how gender aspects can be integrated without sustaining gender stereotypes. The developmental psychologist Carol Gilligan was among the first to question ethics from a gendered point of view. The notion of care introduced by her challenged conventional developmental psychology as well as moral philosophy. Gilligan was criticised, however, because her concept of ‘two (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  35
    Th.o.m.a.s.: An exploratory assessment of Theory of Mind in schizophrenic subjects.Francesca Bosco, Livia Colle, Silvia de Fazio, Adele Bono & Saverio Ruberti - 2009 - Consciousness and Cognition 18 (1):306-319.
    A large body of literature agrees that persons with schizophrenia suffer from a Theory of Mind deficit. However, most empirical studies have focused on third-person, egocentric ToM, underestimating other facets of this complex cognitive skill. Aim of this research is to examine the ToM of schizophrenic persons considering its various aspects, to determine whether some components are more impaired than others.We developed a Theory of Mind Assessment Scale and administered it to 22 persons with a DSM-IV diagnosis of schizophrenia and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  43
    Cueing Implicit Commitment.Francesca Bonalumi, Margherita Isella & John Michael - 2019 - Review of Philosophy and Psychology 10 (4):669-688.
    Despite the importance of commitment for distinctively human forms of sociality, it remains unclear how people prioritize and evaluate their own and others’ commitments - especially implicit commitments. Across two sets of online studies, we found evidence in support of the hypothesis that people’s judgments and attitudes about implicit commitments are governed by an implicit sense of commitment, which is modulated by cues to others’ expectations, and by cues to the costs others have invested on the basis of those expectations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  89
    Knowledge, values, and beliefs in the south african context since 1948: An overview.Ernst M. Conradie & Cornel W. du Toit - 2015 - Zygon 50 (2):455-479.
    In this contribution, an overview of the distinct ways in which the interplay between knowledge, values, and beliefs took shape in the South African context since 1948 is offered. This is framed against the background of the paleontological significance of South Africa and an appreciation of indigenous knowledge systems, but also of the ideological distortion of knowledge and education during the apartheid era through the legacy of neo-Calvinism. The overview includes references to discourse on human rationality, on the use of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  23
    Cohen and Helmholtz on the Foundations of Measurement.Francesca Biagioli - 2018 - In Christian Damböck (ed.), Philosophie Und Wissenschaft Bei Hermann Cohen/Philosophy and Science in Hermann Cohen. Springer Verlag. pp. 77-100.
    It is well known that Hermann Cohen was one of the first philosophers who engaged in the debate about non-Euclidean geometries and the concept of space. His relation to Hermann von Helmholtz, who played a major role in the same debate, is an illuminating example of how some of the leading ideas of Marburg neo-Kantianism, although motivated independently of scientific debates, naturally led to the examination of scientific works and scientists’ epistemological views. This paper deals with Cohen’s view of magnitudes (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  11. From Digital Medicine to Embodied Care.Francesca Brencio - 2023 - In Elodie Boublil & Susi Ferrarello (eds.), The Vulnerability of the Human World: Well-being, Health, Technology and the Environment. Springer Verlag. pp. 159-179.
    Through this contribution I aim to explore the horizons and limits of digital medicine in light of an embodied approach to the issue of care. I will sketch the historical background of digital medicine and show the contemporary status of this interdisciplinary field, as well as its applications and outcomes. Then, I will address a critique of the computational theory of mind (CTM) upon which many contemporary mental health apps are designed. This approach to the mind is inscribed into the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  83
    The Gene as a Natural Kind.Francesca Bellazzi - 2023 - In José Manuel Viejo & Mariano Sanjuán (eds.), Life and Mind - New Directions in the Philosophy of Biology and Cognitive Sciences. Springer. pp. pp 259–278.
    What is a gene? Does it represent a natural kind, or is it just a tool for genomics? A clear answer to these questions has been challenged by postgenomic discoveries. In response, I will argue that the gene can be deemed a natural kind as it satisfies some requirements for genuine kindhood. Specifically, natural kinds are projectible categories in our best scientific theories, and they represent nodes in the causal network of the world (as in Khalidi. Natural Categories and Human (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. COVID-19 calls for virtue ethics.Francesca Bellazzi & Konrad V. Boyneburgk - 2020 - Journal of Law and the Biosciences 7 (1).
    The global spread of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) or coronavirus disease 19 (COVID-19) has led to the imposition of severely restrictive measures by governments in the Western hemisphere. We feel a contrast between these measures and our freedom. This contrast, we argue, is a false perception. It only appears to us because we look at the issue through our contemporary moral philosophy of utilitarianism and an understanding of freedom as absence of constraints. Both these views can be (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  14.  27
    Algorithmic correspondence and canonicity for non-distributive logics.Willem Conradie & Alessandra Palmigiano - 2019 - Annals of Pure and Applied Logic 170 (9):923-974.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  15.  13
    Faṣl al-maqāl wa taqrīr mā bayn al-sharīʻaẗ wa al-ḥikmaẗ min al-ittiṣāl.Francesca Averroèes & Lucchetta - 1994 - Genova: Marietti. Edited by Francesca Lucchetta.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  11
    Logic and discrete mathematics: a concise introduction.Willem Conradie - 2015 - Hoboken, NJ, USA: Wiley. Edited by Valentin Goranko.
    A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  20
    Philo of Alexandria and post-Aristotelian philosophy.Francesca Alesse (ed.) - 2008 - Boston: Brill.
    An inquiry drawing on the presence of Hellenistic philosophy in Philo provides a better knowledge of the diffusion of Hellenistic philosophy since the late ...
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  22
    God's acting, man's acting: tradition and philosophy in Philo of Alexandria.Francesca Calabi - 2008 - Boston: Brill.
    The topic tackled in this book is Philo's account of the complex, double-sided nature of God's acting - the two-sided coin of God as transcendent yet immanent, ...
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  19. Communicative competence and theory of mind in autism: A test of relevance theory.Francesca G. E. Happé - 1993 - Cognition 48 (2):101-119.
  20.  41
    Socially responsive technologies: toward a co-developmental path.Daniel W. Tigard, Niël H. Conradie & Saskia K. Nagel - 2020 - AI and Society 35 (4):885-893.
    Robotic and artificially intelligent (AI) systems are becoming prevalent in our day-to-day lives. As human interaction is increasingly replaced by human–computer and human–robot interaction (HCI and HRI), we occasionally speak and act as though we are blaming or praising various technological devices. While such responses may arise naturally, they are still unusual. Indeed, for some authors, it is the programmers or users—and not the system itself—that we properly hold responsible in these cases. Furthermore, some argue that since directing blame or (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21. «…this phenomenon, which is none too happily designated as ‘empathy’». Martin Heidegger’s critique of empathy.Francesca Brencio - 2022 - Bollettino Filosofico 37:243-251.
    F. Brencio (2022), «…this phenomenon, which is none too happily designated as ‘empathy’». Martin Heidegger’s critique of empathy, in “Bollettino Filosofico”, 37, 243-251, ISSN: 1593 – 7178, E-ISSN 2035 - 2670.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  28
    Algorithmic correspondence and canonicity for distributive modal logic.Willem Conradie & Alessandra Palmigiano - 2012 - Annals of Pure and Applied Logic 163 (3):338-376.
  23.  4
    L'impensato della politica: Spinoza e il vincolo civile.Francesca Bonicalzi - 2000 - Napoli: Guida.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  5
    "Soggetto" a variazione.Francesca Costadura, Franco Riccio & Salvo Vaccaro (eds.) - 2000 - Pisa: BFS.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  3
    L'estetica di Ermanno Migliorini: la militanza e la misura.Francesca Peruzzi - 2011 - Firenze: L.S. Olschki.
  26.  2
    Partorire con il corpo e con la mente: creatività, filosofia, maternità.Francesca Rigotti - 2010 - Torino: Bollati Boringhieri.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  31
    Misunderstanding moral status: a reply to Robinson.Giulia Cavaliere & Francesca Cesarano - 2024 - Journal of Medical Ethics 50 (1):24-25.
    In Pregnancy and superior moral status: A proposal for two thresholds of personhood, Robinson argues that pregnant women are unique beings with superior moral status (MS) to that of other adult human beings. Robinson’s defence of this view relies on metaphysical and moral claims. The first set of claims concerns the ontological status of the pregnant woman, whom she considers a ‘unique organism’,‘more than just one person’and ‘numerically increased’.1 The second set of claims concerns the ‘superior’ MS of the pregnant (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  9
    From the ideal legislator to the competent speaker: uncovering the deception in legislative intent.Francesca Poggi & Francesco Ferraro - forthcoming - Jurisprudence:1-18.
    Central to the legal positivism of the nineteenth and the first half of the twentieth century was the dogma of the Ideal Legislator. Legal materials were to be interpreted as the work of an omniscient, coherent, consistent legislator. We argue that this dogma persists in the different guise of the competent speaker model, on which legal materials are the work of a competent speaker, who follows all the pertinent semantic and pragmatic rules. We will first lay out the Ideal Legislator (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-51.
    In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  32
    Autonomous Military Systems: collective responsibility and distributed burdens.Niël Henk Conradie - 2023 - Ethics and Information Technology 25 (1):1-14.
    The introduction of Autonomous Military Systems (AMS) onto contemporary battlefields raises concerns that they will bring with them the possibility of a techno-responsibility gap, leaving insecurity about how to attribute responsibility in scenarios involving these systems. In this work I approach this problem in the domain of applied ethics with foundational conceptual work on autonomy and responsibility. I argue that concerns over the use of AMS can be assuaged by recognising the richly interrelated context in which these systems will most (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  39
    Introduction to the Topical Collection on AI and Responsibility.Niël Conradie, Hendrik Kempt & Peter Königs - 2022 - Philosophy and Technology 35 (4):1-6.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  73
    Biochemical functions.Francesca Bellazzi - forthcoming - British Journal for the Philosophy of Science.
    Function talk is a constant across different life sciences. From macro-evolution to genetics, functions are mentioned everywhere. For example, a limb’s function is to allow movement and RNA polymerases’ function is to transcribe DNA. Biochemistry is not immune from such a characterization; the biochemical world seems to be a chemical world embedded within biological processes. Specifically, biochemists commonly ascribe functions to biomolecules and classify them accordingly. This has been noticed in the recent philosophical literature on biochemical kinds. But while a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  99
    Quel che resta delle cose. Riccardo de Biase lettore di Heidegger.Francesca Brencio - 2023 - In Segni. Studi in memoria di Riccardo De Biase.
    F. Brencio (2023), Quel che resta delle cose. Riccardo de Biase lettore di Heidegger, in G. Giannini, P. Marangolo, M. Papa (eds.), Segni. Studi in memoria di Riccardo De Biase, TAB Edizioni, Roma 2023, pp. 171-182, ISBN: 978-88-9295-769-5.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  84
    AI Systems Under Criminal Law: a Legal Analysis and a Regulatory Perspective.Francesca Lagioia & Giovanni Sartor - 2020 - Philosophy and Technology 33 (3):433-465.
    Criminal liability for acts committed by AI systems has recently become a hot legal topic. This paper includes three different contributions. The first contribution is an analysis of the extent to which an AI system can satisfy the requirements for criminal liability: accomplishing an actus reus, having the corresponding mens rea, possessing the cognitive capacities needed for responsibility. The second contribution is a discussion of criminal activity accomplished by an AI entity, with reference to a recent case involving an online (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35. Can ‘eugenics’ be defended?Francesca Minerva, Diana S. Fleischman, Peter Singer, Nicholas Agar, Jonathan Anomaly & Walter Veit - 2021 - Monash Bioethics Review 39 (1):60-67.
    In recent years, bioethical discourse around the topic of ‘genetic enhancement’ has become increasingly politicized. We fear there is too much focus on the semantic question of whether we should call particular practices and emerging bio-technologies such as CRISPR ‘eugenics’, rather than the more important question of how we should view them from the perspective of ethics and policy. Here, we address the question of whether ‘eugenics’ can be defended and how proponents and critics of enhancement should engage with each (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  36.  15
    Filone di Alessandria.Francesca Calabi - 2013 - Roma: Carocci.
  37. A tutorial on assumption-based argumentation.Francesca Toni - 2014 - Argument and Computation 5 (1):89-117.
  38.  5
    Dialettica della caverna: Hans Blumenberg tra antropologia e politica.Francesca Gruppi - 2017 - Milano: Mimesis.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Stakeholder engagement in managing systemic risk management.Francesca Iandolo, Antonio La Sala, Lorenzo Turriziani & Francesco Caputo - forthcoming - Business Ethics, the Environment and Responsibility.
    This paper employs the interpretative lens provided by stakeholder theory to garner novel insights for research and managerial practices within the framework of high-reliable organizations (HROs). It proposes an interpretative matrix for analyzing and explaining how stakeholders’ behaviors and interactions can transition from a “strategic” to a “responsibility” approach in the context of risk management. The paper adopts a qualitative methodology based on a case study of the Italian Civil Protection—an HRO—during the COVID-19 pandemic. Through the analysis of institutional sources (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  9
    Studi sulle Categorie di Aristotele.Francesca Guadalupe Masi, Maddalena Bonelli, Jonathan Barnes & Aristotle (eds.) - 2011 - Amsterdam: Adolf M. Hakkert Editore.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Publisher Correction: Harvesting connections: the role of stakeholders’ network structure, dynamics and actors’ influence in shaping farmers’ markets.Francesca Monticone, Antonella Samoggia, Kathrin Specht, Barbara Schröter, Giulia Rossi, Anna Wissman & Aldo Bertazzoli - forthcoming - Agriculture and Human Values:1-1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  6
    Temporalità e umanità: la diacronia in Emmanuel Levinas.Francesca Nodari - 2017 - Firenze: Giuntina.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  5
    Christliche Unternehmer: Büdinger Forschungen zur Sozialgeschichte 1992 und 1993.Francesca Schinzinger (ed.) - 1994 - Boppard am Rhein: H. Boldt.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  76
    Emergence in Complex Physiological Processes: The Case of Vitamin B12 Functions in Erythropoiesis.Francesca Bellazzi & Marta Bertolaso - 2024 - Systems 12.
    In this paper, we will explore the relation between molecular structure and functions displayed by biochemical molecules in complex physiological processes by using tools from the philosophy of science and the philosophy of scientific practice. We will argue that biochemical functions are weakly emergent from molecular structure by using an account of weak. In order to explore this thesis, we will consider the role of vitamin B12 in contributing to the process of erythropoiesis. The structure of the paper is the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Worldmaking and Cuneiform Antiquity: An Anthropology of Science.Francesca Rochberg - 2024 - Cambridge University Press.
    Objects of knowledge exist within material, immaterial, and conceptual worlds. Once the world is conceived from the perspective of others, the physical ontology of modern science no longer functions as a standard by which to understand other orderings of reality, whether from ethnographical or historical sources. Because premodern and non-western sources attest to a plurality of sciences practiced in accordance with different ways of worldmaking from that of the modern West, their study belongs to the history of science, the philosophy (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  32
    On the strength and scope of DLS.Willem Conradie - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):279-296.
    We provide syntactic necessary and sufficient conditions on the formulae reducible by the second-order quantifier elimination algorithm DLS. It is shown that DLS is compete for all modal Sahlqvist and Inductive formulae, and that all modal formulae in a single propositional variable on which DLS succeeds are canonical.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  22
    Reformulating Indifferentism.Francesca Greco - 2022 - European Journal for Philosophy of Religion 14 (3):227-238.
    In his examination of the concepts of evil and impermanence, entitled “Evil and the Problem of Impermanence in Medieval Japanese Philosophy”, Yujin Nagasawa addresses four responses to the problem of impermanence, arguing that the only satisfactory response to the problem leads to an implication about supernaturalism. As Nagasawa puts it, “the problem of impermanence can be construed as a partial argument for supernaturalism and against naturalism”. In response to Nagasawa, I will take up the challenge of naturalism by trying to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48. Face perception and processing in early infancy: inborn predispositions and developmental changes.Francesca Simion & Elisa Di Giorgio - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  9
    Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-51.
    In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called \emph{elementary}. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called \emph{canonical}. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000