Results for 'Haines Agi'

532 found
Order:
  1.  19
    Thinkering through Experiments: Nurturing Transdisciplinary Approaches to the Design of Testing Tools.Kathryn B. Francis, Agi Haines & Raluca A. Briazu - 2017 - Avant: Trends in Interdisciplinary Studies 8 (T):107-115.
    In order to assess and understand human behavior, traditional approaches to experimental design incorporate testing tools that are often artificial and devoid of corporeal features. Whilst these offer experimental control in situations in which, methodologically, real behaviors cannot be examined, there is increasing evidence that responses given in these contextually deprived experiments fail to trigger genuine responses. This may result from a lack of consideration regarding the material makeup and associations connected with the fabric of experimental tools. In a two-year (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  19
    Literature and Moral Understanding: A Philosophical Essay on Ethics, Aesthetics, Education, and Culture.Victor Yelverton Haines - 1992 - Journal of Aesthetics and Art Criticism 52 (2):257-259.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  45
    Tiempo, lenguaje y memoria: indagación filosófica y expresión poética en la experiencia del límite del pensar.Domingo Fernández Agis - 2015 - Ideas Y Valores 64 (157):91-115.
    A partir de J.-P. Sartre y M. Heidegger, se aborda la relación entre temporalidad, conciencia y comprensión, y se examina la experiencia de la indeterminación vinculada a la intuición del límite de lo pensable y expresable, con el fin de articular la filosofía y la poesía como formas de acercamiento a dicho límite. Se plantean dos presupuestos: el cuestionamiento de la demarcación radical entre indagación filosófica y expresión poética, y la aproximación racional, pero sin prejuicios racionalistas, a los límites del (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  52
    Nuclear weapons and medicine: some ethical dilemmas.A. Haines, C. de B. White & J. Gleisner - 1983 - Journal of Medical Ethics 9 (4):200-206.
    The enormous destructive power of present stocks of nuclear weapons poses the greatest threat to public health in human history. Technical changes in weapons design are leading to an increased emphasis on the ability to fight a nuclear war, eroding the concept of deterrence based on mutually assured destruction and increasing the risk of nuclear war. Medical planning and civil defence preparations for nuclear war have recently been increased in several countries although there is little evidence that they will be (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Non-finitely axiomatisable two-dimensional modal logics.Agi Kurucz & Sérgio Marcelino - 2012 - Journal of Symbolic Logic 77 (3):970-986.
    We show the first examples of recursively enumerable (even decidable) two-dimensional products of finitely axiomatisable modal logics that are not finitely axiomatisable. In particular, we show that any axiomatisation of some bimodal logics that are determined by classes of product frames with linearly ordered first components must be infinite in two senses: It should contain infinitely many propositional variables, and formulas of arbitrarily large modal nesting-depth.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  19
    Aprender a vivir. Existencia, pensamiento, huella en/de Derrida.Domingo Fernández Agis - 2020 - Pensamiento. Revista de Investigación E Información Filosófica 76 (289):277-295.
    En este trabajo abordo el problema de la herencia nietzscheana en el pensamiento de Jacques Derrida como base para plantear la cuestión de la huella de éste último en la filosofía actual. Para ello, me aproximo a la relación entre vida e ideal de vida, tal como la pensaron ambos. Partiendo de este aspecto, planteo el problema de la relación entre vida y obra, la cuestión de la identidad personal, la valoración del pensamiento como actividad crítica y la cuestión de (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  9
    Ley moral y ley política en la mitología griega: el casi Prometeo.Domingo Fernández Agis - 2006 - Areté. Revista de Filosofía 18 (2):289-305.
    El objetivo de este trabajo es ofrecer al lector un recorrido por las más signifi cativas interpretaciones del mito de Prometeo, intentando, a la luz del contenido de las mismas, contribuir al esclarecimiento de la relación entre ley moral y ley política. En particular, se trata de poner de relieve cómo hay en la actitud de Prometeo algo que delata la presencia de una conciencia, fuertemente individualizada, cuyo dictado le conduce a asumir el choque con el poder en su máxima (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  37
    Más allá del principio del poder. Placer, poder y lógica canibalística.Domingo Fernández Agis - 2011 - Daimon: Revista Internacional de Filosofía:305-311.
    Más allá del principio del poder es el título de la contribución de Derrida al homenaje a Foucault, que realizó la Universidad de New York tras la muerte del filósofo. Acerca de su contenido trata este pequeño ensayo. En su intervención, Derrida pone en relación las ideas de Freud y las de Foucault, con las suyas propias, a propósito de la relación entre saber, poder y sexualidad.Su objetivo final es hacer hablar, pero al mismo tiempo acallar la voluntad de destrucción, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  12
    Finite Frames for K4.3 x S5 Are Decidable.Agi Kurucz & Sérgio Marcelino - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 411-436.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. (2 other versions)Tiempo, política y hospitalidad. Una reflexión desde Derrida y Lévina.Domingo Fernández Agis - 2009 - Isegoría: Revista de Filosofía Moral y Política 40:191-202.
    En este trabajo abordamos la interrelación entre tiempo, política y hospitalidad, tomando como base interpretativa el tratamiento que tales conceptos reciben en el pensamiento de Derrida y Lévinas. El planteamiento central puede expresarse diciendo que, tal como nos dice Derrida, una interpretación correcta de la posición de Lévinas nos lleva a reconocer que la hospitalidad es la eticidad misma. Se considera, a partir de este presupuesto, que la apertura al otro que hace posible la hospitalidad impide que la subjetividad quede (...)
    No categories
     
    Export citation  
     
    Bookmark  
  11. Acquiring knowledge from expert agents in a structured argumentation setting.Ramiro Andres Agis, Sebastian Gottifredi & Alejandro Javier García - 2019 - Argument and Computation 10 (2):149-189.
  12.  45
    Determinants of Cross-Border Venture Capital Investments in Emerging and Developed Economies: The Effects of Relational and Institutional Trust.Daniel Hain, Sofia Johan & Daojuan Wang - 2016 - Journal of Business Ethics 138 (4):743-764.
    Frequent and open interaction between venture capitalists and entrepreneurs is necessary for venture capital investments to occur. Increasingly, these investments are made across jurisdictions. The vast majority of these cross-border investments are carried out in a syndicate of two or more VCs, indicating the effects of intra-industry networks needing further analysis. Using China as a model, we provide a novel multidimensional framework to explain cross-border investments in innovative ventures across developed and emerging economies. By analyzing a unique international dataset, we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13. The Influence of Perceived Importance of an Ethical Issue on Moral Judgment, Moral Obligation, and Moral Intent.Russell Haines, Marc D. Street & Douglas Haines - 2008 - Journal of Business Ethics 81 (2):387-399.
    The study extends and tests the issue contingent four-component model of ethical decision-making to include moral obligation. A web-based questionnaire was used to gauge the influence of perceived importance of an ethical issue on moral judgment and moral intent. Perceived importance of an ethical issue was found to be a predictor of moral judgment but not of moral intent as predicted. Moral obligation is suggested to be a process that occurs after a moral judgment is made and explained a significant (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  14.  42
    The philosopher as teacher teaching Plato as an introduction to philosophy.Byron L. Haines - 1993 - Metaphilosophy 24 (4):407-414.
  15.  8
    Cenizas.Domingo Fernández Agis - 2016 - Cuadernos Salmantinos de Filosofía 43:199-212.
    La experiencia de la finitud no otorga, en sí misma, un sentido a la vida, pero sí introduce en ella algo que la hace intensamente humana. La finitud de la existencia queda marcada por la certeza de la presencia ineludible de la muerte. La angustia que produce la certeza de la inevitabilidad de la propia muerte es la forma más radical en que se nos manifiesta la naturaleza del Ser, no la ausencia de éste. La referencia a las ideas de (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  41
    Pensar desde la pasión. Filosofar con Vladimir Jankélévitch.Domingo Fernández Agis - 2017 - Alpha (Osorno) 44:87-104.
    Resumen: El pasado 6 de junio se cumplieron 30 años de la muerte del pensador Vladimir Jankélévitch, acaecida en Paris en 1985. Se trata de un lapso temporal considerable, casi un tercio de siglo, que nos permite realizar un balance de la actualidad y previsible pervivencia en el futuro de su obra. En el presente trabajo pretendo realizar un breve recorrido por algunos de los temas filosóficos que abordó en sus obras más relevantes, reivindicando la vigencia de su pensamiento en (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  23
    Ought and Can.Nicolas Haines - 1972 - Philosophy 47 (181):263.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  13
    A University Between two Cultures.Hain Tankler - 2001 - In Rein Vihalemm (ed.), Estonian studies in the history and philosophy of science. Kluwer Academic Publishers. pp. 19--34.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  8
    Poetry and Philosophy From Homer to Rousseau: Romantic Souls, Realist Lives.Simon Haines - 2004 - Palgrave-Macmillan.
    This book features readings of over twenty key texts and authors in Western poetry and philosophy, including Homer, Plato, Dante, Chaucer, Shakespeare and Rousseau. Simon Haines argues that the history of both can be seen as a struggle between two different conceptions of the self: the "romantic" vs. the "realist".
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. The purloined philosopher: Youzi on learning by virtue.William Haines - 2008 - Philosophy East and West 58 (4):pp. 470-491.
    This essay is the first general study of the work of You Ruo or Youzi (fl. 470 B.C.E. ). It also defends his views and argues that he was an important independent figure in the origins of Confucianism. Youzi is thought to have been a disciple of Confucius, and his work is studied mainly for its insight into Confucius. Hence, his work is seriously misunderstood. In fact Youzi's main views were not shared by Confucius, and the evidence suggests that Youzi (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21. A Process Ontology.Haines Brown - 2014 - Axiomathes 24 (3):291-312.
    The paper assumes that to be of practical interest process must be understood as physical action that takes place in the world rather than being an idea in the mind. It argues that if an ontology of process is to accommodate actuality, it must be represented in terms of relative probabilities. Folk physics cannot accommodate this, and so the paper appeals to scientific culture because it is an emergent knowledge of the world derived from action in it. Process is represented (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  73
    Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
    We prove that the two-variable fragment of first-order intuitionistic logic is undecidable, even without constants and equality. We also show that the two-variable fragment of a quantified modal logic L with expanding first-order domains is undecidable whenever there is a Kripke frame for L with a point having infinitely many successors (such are, in particular, the first-order extensions of practically all standard modal logics like K, K4, GL, S4, S5, K4.1, S4.2, GL.3, etc.). For many quantified modal logics, including those (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  23.  21
    Spatial Character and Backflow Pattern of High-Level Returned Talents in China.Haining Jiang - 2021 - Complexity 2021:1-11.
    Attractions of overseas high-level returned talents have become a widely practiced talent policy, and the spatial structures of city-related interactions are drawing the attention of researchers from various fields. China is particularly an interesting case in point, as it has moved toward an innovation-oriented economy. Based on the movement trajectories of 2,846 returnees in a program entitled “Young Thousand Talents Plan” during 2011–2016, this paper identifies three city types in China: national core city, regional excellent city, and regional special city. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  22
    Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description of Logic EL.Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 271-291.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  43
    Responsibility and Accountability.Nicolas Haines - 1955 - Philosophy 30 (113):141 - 163.
    His “practical purpose” was first to express the popular notion of responsibility and then to relate it to the philosophical theories of “freewill and necessity.” For he could not approve the suggestion that to understand popular comments on morality was a worthless occupation; indeed, while he respected the Westminster Reviewers for the blunt declaration that vulgar responsibility was a “horrid figment of the imagination,” he plainly considered it his business as a philosopher to examine ordinary morality and to reconcile it, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  32
    Natural Theology: A Biblical and Historical Introduction and Defense.David Haines - 2021 - Landrum, SC: Davenant Press.
    Christians affirm that Scripture alone reveals truths about God which cannot be known by mere reason, such as the Trinity or the Gospel itself. But how do we account for Scripture’s apparent talk of a knowledge of God possible solely from creation? Or for our own sense of the divine in nature? Or for the startling insights of ancient philosophers about the nature of God? The answer: natural theology. Often misrepresented as a fruitless human attempt to comprehend God, natural theology (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  11
    On the Complexity of Modal Axiomatisations over Many-dimensional Structures.Agi Kurucz - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 256-270.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  17
    Joseph Clair, On Education, Formation, Citizenship, and the Lost Purpose of Learning.Raymond Hain - 2019 - Augustinian Studies 50 (2):225-229.
  29.  15
    Finite Frames for K4.3 x S5 Are Decidable.Agi Kurucz & Sérgio Marcelino - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 411-436.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  31
    The Faith of the Counsellors. By Paul Halmos. (London: Constable. 1965. Pp. 220. Price 30s.).Nicolas Haines - 1967 - Philosophy 42 (160):172-.
  31.  23
    “I haven’t had to bare my soul but now I kind of have to”: describing how voluntary assisted dying conscientious objectors anticipated approaching conversations with patients in Victoria, Australia.Louise Anne Keogh & Casey Michelle Haining - 2021 - BMC Medical Ethics 22 (1):1-12.
    BackgroundDealing with end of life is challenging for patients and health professionals alike. The situation becomes even more challenging when a patient requests a legally permitted medical service that a health professional is unable to provide due to a conflict of conscience. Such a scenario arises when Victorian health professionals, with a conscientious objection (CO) to voluntary assisted dying (VAD), are presented with patients who request VAD or merely ask about VAD. The Voluntary Assisted Dying Act 2017 (Vic) recognizes the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  10
    Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description of Logic EL.Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 271-291.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  30
    Understanding the Reasons Behind Healthcare Providers’ Conscientious Objection to Voluntary Assisted Dying in Victoria, Australia.Casey M. Haining, Louise A. Keogh & Lynn H. Gillam - 2021 - Journal of Bioethical Inquiry 18 (2):277-289.
    During the debates about the legalization of Voluntary Assisted Dying in Victoria, Australia, the presence of anti-VAD health professionals in the medical community and reported high rates of conscientious objection to VAD suggested access may be limited. Most empirical research on CO has been conducted in the sexual and reproductive health context. However, given the fundamental differences in the nature of such procedures and the legislation governing it, these findings may not be directly transferable to VAD. Accordingly, we sought to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34.  28
    Kripke completeness of strictly positive modal logics over meet-semilattices with operators.Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter & Michael Zakharyaschev - 2019 - Journal of Symbolic Logic 84 (2):533-588.
    Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators providing Birkhoff-style calculi and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a completeness theory that aims to answer the question whether the two semantics define the same (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  35. Consequentialism.William Haines - 2006 - Internet Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark   2 citations  
  36.  22
    Dispensing with Responsibility.Nicolas Haines - 1963 - Philosophy 38 (143):69 - 70.
  37.  31
    Philosophy as Social Philosophy.Nicolas Haines - 1967 - Philosophy 42 (159):37 - 52.
    Just before the second world war, in a paper read to the British Association, Morris Ginsberg talked about the failure of social philosophy and the social sciences to work together in the universities ‘toward the rational ordering of society’. Some time after the war Alexander Macbeath complained to British sociologists of his own vain search for a social philosopher who could teach in a course on public administration. Then a few years later A. E. Teale told an inter-professional conference at (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  38. Robert Burch and Massimo Verdicchio, eds., Between Philosophy and Poetry: Writing, Rhythm, History Reviewed by.Victor Yelverton Haines - 2004 - Philosophy in Review 24 (3):170-172.
     
    Export citation  
     
    Bookmark  
  39.  1
    Polygenic risk scores and embryonic screening: considerations for regulation.Casey M. Haining, Julian Savulescu, Louise Keogh & G. Owen Schaefer - forthcoming - Journal of Medical Ethics.
    Polygenic risk scores (PRSs) have recently been used to inform reproductive decision-making in the context of embryonic screening. While this is yet to be widespread, it is contested and raises several challenges. This article provides an overview of some of the ethical considerations that arise with using PRSs for embryo screening and offers a series of regulatory considerations for jurisdictions that may wish to permit this in the future. These regulatory considerations cover possible regulators and regulatory tools, eligibility criteria, information (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  30
    Meeting Philippa foot's challenge to moral philosophers.ron Haines - 1988 - Journal of Value Inquiry 22 (3):207-221.
  41.  46
    Advancing Medicine Ethically: Important Considerations for Innovative Practice.Sarah Haines, Michael Savic & Adrian Carter - 2019 - American Journal of Bioethics 19 (6):38-40.
    Earl (2019) argues that the current uniform restriction of innovative practice limits clinicians’ ability to provide optimal treatment and stunts progress in medicine. We agree that it is important...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  20
    Problema de la Conciencia.Domingo Fernández Agis - 2023 - Eikasia Revista de Filosofía 1.
    Dos sentidos del término conciencia han convivido desde que tenemos constancia del uso del mismo: el psíquico y el moral. Un rasgo distintivo del pensamiento moderno consiste en considerar que el primero ha de prevalecer sobre el segundo. Sin embargo, la propia evolución del concepto parece exigir en nuestros días una apelación a lo social para completar su determinación.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  47
    Biopolítica y subjetividad.Domingo Fernández Agis - 2013 - Dilemata 12:15-25.
    The objective of this paper is to highlight the confluence of pastoral power and biopolitical power, as foundations for today’s unholy alliance that undermines the sense of democratic political subjectivity. From that perspective, it explores the connections between the Heideggerian conception of subjectivity and alternative pastoral power and biopolitics that Foucault calls through its ethics focused on self-care.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  44.  27
    Fundamental Human Rights under the Nigerian Constitution: Right or Wrong?S. P. Agi - 2007 - Sophia: An African Journal of Philosophy 8 (2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Libertad negativa y moral práctica en El arte de la prudencia de Baltasar Gracián.Domingo Fernández Agis - 2007 - A Parte Rei 51:3.
     
    Export citation  
     
    Bookmark  
  46. Psicologización y sexualización del yo.Domingo Fernández Agis - 2007 - la Lámpara de Diógenes 8 (14):115-126.
    No categories
     
    Export citation  
     
    Bookmark  
  47. Consilium and the Foundations of Ethics.Raymond Hain - 2015 - The Thomist 79 (1):43-74.
    This essay develops the foundations of a Thomistic ethics of inquiry by proposing an account of 'consilium' (or practical deliberation) that is essentially social. This account in turn has three important implications. First, the moral knowledge available to us prior to the workings of 'consilium' is too vague to ground anything approaching substantive moral conclusions (the content of 'synderesis' is significantly limited). Second, if the apprehension of all but the very highest moral truths depends on a series of deliberative relationships, (...)
     
    Export citation  
     
    Bookmark   1 citation  
  48.  12
    On axiomatisting products of Kripke frames, part II.Agi Kurucz - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 219-230.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  84
    Products of 'transitive' modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.
    We solve a major open problem concerning algorithmic properties of products of ‘transitive’ modal logics by showing that products and commutators of such standard logics as K4, S4, S4.1, K4.3, GL, or Grz are undecidable and do not have the finite model property. More generally, we prove that no Kripke complete extension of the commutator [K4,K4] with product frames of arbitrary finite or infinite depth (with respect to both accessibility relations) can be decidable. In particular, if.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  50.  39
    Weakly associative relation algebras with projections.Agi Kurucz - 2009 - Mathematical Logic Quarterly 55 (2):138-153.
    Built on the foundations laid by Peirce, Schröder, and others in the 19th century, the modern development of relation algebras started with the work of Tarski and his colleagues [21, 22]. They showed that relation algebras can capture strong first‐order theories like ZFC, and so their equational theory is undecidable. The less expressive class WA of weakly associative relation algebras was introduced by Maddux [7]. Németi [16] showed that WA's have a decidable universal theory. There has been extensive research on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 532