Results for 'Ann Yasuhara'

991 found
Order:
  1.  14
    Cudia Dennis F. and Singletary Wilson E.. The Post correspondence problem.Ann Yasuhara - 1974 - Journal of Symbolic Logic 39 (1):185-186.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  14
    Ronald Harrop. Some structure results for propositional calculi. The journal of symbolic logic, vol. 30 , pp. 271–292.Ann Yasuhara - 1968 - Journal of Symbolic Logic 32 (4):537-538.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  18
    Raymond M. Smullyan, On Post 's canonical systems. The journal of symbolic logic, vol. 27 no. 1 , pp. 55–57.Ann Yasuhara - 1969 - Journal of Symbolic Logic 33 (4):623.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  23
    Adjan S. I.. Defining relations and algorithmic problems for groups and semigroups. English translation of XXXVIII 357 by M. Greendlinger. Proceedings of the Steklov Institute of Mathematics, no. 85 , American Mathematical Society, Providence 1967, iii + 152 pp. [REVIEW]Ann Yasuhara - 1973 - Journal of Symbolic Logic 38 (2):338-339.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  24
    A. V. Kuznécov and V. Á. Gérčiu. O supérintuicionistskih logikah i finitnoj approksimiruémosti. Doklady Akadémii Nauk SSSR, vol. 195 , pp. 1029–1032. - A. V. Kuznecov and V. A. Gerčiu. Superintuitionistic logics and finite approximability. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 11 no. 6 , pp. 1614–1619. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):757.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  22
    Dennis F. Cudia and Wilson E. Singletary. The Post correspondence problem. The journal of symbolic logic, vol. 33 , pp. 418–430. - Dennis F. Cudia and Wilson E. Singletary. Degrees of unsolvability in formal grammars. Journal of the Association for Computing Machinery, vol. 15 , pp. 680–692. [REVIEW]Ann Yasuhara - 1974 - Journal of Symbolic Logic 39 (1):185-186.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  10
    George J. Tourlakis. Computabitity. Reston Publishing Company, Reston, Va., 1984, x + 566 pp. [REVIEW]Ann Yasuhara - 1988 - Journal of Symbolic Logic 53 (4):1255-1257.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  26
    Wang Hao. Tag systems and lag systems. Mathematische Annalen, vol. 152 , pp. 65–74.Cocke John and Minsky Marvin. Universality of tag systems with D = 2. Journal of the Association for Computing Machinery, vol. 11 , pp. 15–20.Cook Stephen A.. The solvability of the derivability problem for one-normal systems. Journal of the Association for Computing Machinery, vol. 13 , pp. 223–225. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  20
    Kuznecov A. V.. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 , pp. 56–72. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):756-757.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Review: George J. Tourlakis, Computability. [REVIEW]Ann Yasuhara - 1988 - Journal of Symbolic Logic 53 (4):1255-1257.
     
    Export citation  
     
    Bookmark  
  11.  10
    Review: Hao Wang, Tag Systems and Lag Systems; John Cocke, Marvin Minsky, Universality of Tag Systems with $D = 2$; Stephen A. Cook, The Solvability of the Derivability Problem for One-Normal Systems. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344-344.
  12.  4
    Review: Ronald Harrop, Some Structure Results for Propositional Calculi. [REVIEW]Ann Yasuhara - 1967 - Journal of Symbolic Logic 32 (4):537-538.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  8
    Review: Raymond M. Smullyan, On Post's Canonical Systems. [REVIEW]Ann Yasuhara - 1968 - Journal of Symbolic Logic 33 (4):623-623.
  14.  9
    Review: S. I. Adjan, M. Greendlinger, Defining Relations and Algorithmic Problems for Groups and Semigroups. [REVIEW]Ann Yasuhara - 1973 - Journal of Symbolic Logic 38 (2):338-339.
  15. Review: Ann Yasuhara, A Remark on Post Normal Systems. [REVIEW]M. D. Gladstone - 1968 - Journal of Symbolic Logic 33 (1):116-117.
  16.  27
    Ann Yasuhara. Recursive function theory and logic. Academic Press, New York and London 1971, xv + 338 pp. [REVIEW]Oseph S. Ullian - 1975 - Journal of Symbolic Logic 40 (4):619-620.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  17
    Review: Ann Yasuhara, Recursive Function Theory and Logic. [REVIEW]Joseph S. Ullian - 1975 - Journal of Symbolic Logic 40 (4):619-620.
  18.  21
    Yasuhara Ann. A remark on Post normal systems. Journal of the Association for Computing Machinery, vol. 14 , pp. 167–171. [REVIEW]M. D. Gladstone - 1968 - Journal of Symbolic Logic 33 (1):116-117.
  19.  16
    Extensionality in Bernays set theory.Mitsuru Yasuhara - 1984 - Notre Dame Journal of Formal Logic 25 (4):357-363.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  16
    Governance of Academies in England: The Return of “Command and Control”?Anne West, David Wolfe & Basma B. Yaghi - 2024 - British Journal of Educational Studies 72 (2):131-154.
    School-based education in England has undergone significant changes since 2010, with a huge expansion of academies, schools outside local authority control, funded directly by central government. Academies and local authority (LA) maintained schools are subject to different legislative and regulatory frameworks. This paper focuses on the governance of LA maintained schools, single academy trusts (SATs) and schools that are part of multi-academy trusts (MATs). The research involved analysing legislative provision, policy documents, and documents addressing the governance arrangements of a sample (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  32
    "The great ocean of knowledge": the influence of travel literature on the work of John Locke.Ann Talbot - 2010 - Boston: Brill.
    This book explores the way in which, working within the investigative tradition associated with the Royal Society, the philosopher John Locke (1632-1704) used ...
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. On the moral and legal status of abortion.Mary Anne Warren - 1973 - The Monist 57 (1):43-61.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   181 citations  
  23.  3
    Color-word value index.Anne Thompson - 2013 - Rosendale, NY: Women's Studio Workshop.
    A reference volume and playful devotional object based on the author's research into color theory informed by psychology, mysticism, and early modernism. The Color-Word Value Index has 44 word pairings; 10 colors; 5 suits; and values of positive, negative, and neutral"--Women's Studio Workshop website, viewed December 14, 2021.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Painting and being painted : a portrait.Ann Ulanov - 2016 - In Kathryn Wood Madden (ed.), The unconscious roots of creativity. Asheville, North Carolina: Chiron Publications.
    No categories
     
    Export citation  
     
    Bookmark  
  25. American material culture in mind, thought, and deed.Anne Yentsch & Mary C. Beaudry - 2001 - In Ian Hodder (ed.), Archaeological theory today. Malden, MA: Blackwell. pp. 214--40.
    No categories
     
    Export citation  
     
    Bookmark  
  26. El progeso en la historia universal.Anne-Robert-Jacques Turgot - 1941 - Madrid,: Ediciones Pegaso. Edited by Vergara, María & [From Old Catalog].
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  9
    Das Wissen der Leute: Bioethik, Alltag und Macht im Internet.Anne Waldschmidt - 2009 - Wiesbaden: VS, Verlag für Sozialwissenschaften. Edited by Anne Klein, Miguel Tamayo Korte & Sibel Dalman-Eken.
    Was passiert, wenn die Bevölkerung die Möglichkeit erhält, sich ungeschminkt und ungefiltert zu bioethischen Problemstellungen zu äußern?
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Whit Woody Barcelona: Love and friendship in Whit Stillman's Barcelona and Woody Allen's Vicky, Cristina, Barcelona.Ann Ward & Lee Ward - 2021 - In Mary P. Nichols (ed.), Politics, literature, and film in conversation: essays in honor of Mary P. Nichols. Lanham: Lexington Books.
     
    Export citation  
     
    Bookmark  
  29.  6
    Noncognitivism.Anne Siegetsleitner - 2022 - In Christoph Limbeck & Thomas Uebel (eds.), The Routledge Handbook of Logical Empiricism. Routledge. pp. 168 - 175.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Research handbook on legal semiotics.Anne Wagner & Sarah Marusek (eds.) - 2023 - Northampton: Edward Elgar Publishing.
    This comprehensive Research Handbook explores the wide variety of work conducted in legal semiotics, providing a thorough understanding of how the law works through signs and symbols. Demonstrating that the law is a strategical system of fluctuating signs, contributors critically analyse the ever-evolving conceptualisations of law and legal discourse. Bringing together leading international experts, this Research Handbook focuses on the material, everyday forms of law comprised by non-verbal legal semiotics. Contributors conduct culturally nuanced semiotic analyses of the modern world, covering (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Wenn der Körper nicht zählt: Schwangerschaft als leiblicher Prozess und die Abtreibungsdebatte.Anne Siegetsleitner - 2011 - In Anne Reichold & Pascal Delhom (eds.), Normativität des Körpers. Freiburg: Verlag Karl Alber. pp. 199-225.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  16
    Contemplating friendship in Aristotle's Ethics.Ann Ward - 2016 - Albany: SUNY Press.
    Contemplating friendship in Aristotle's Ethics -- Teleology, inequality and autonomy -- Moral virtue: possibilities and limits -- Justice: giving to each what is owed -- Intellectual virtue, Akrasia and political philosophy -- Citizens, friends and philosophers -- Happiness and maternal contemplation.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  26
    An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.M. Yasuhara & Peter B. Andrews - 1988 - Journal of Symbolic Logic 53 (1):312.
  34.  8
    Motivationen für das Selbst: Kant und Spinoza im Vergleich.Anne Tilkorn (ed.) - 2012 - Wiesbaden: Harrassowitz Verlag in Kommission.
    Der von Anne Tilkorn herausgegebene Sammelband Kant und Spinoza. Motivationen fur das Selbst beschaftigt sich mit den verborgenen Gemeinsamkeiten der beiden Philosophen in ihren Letztbegrundungen fur moralisches Handeln. Im Mittelpunkt stehen dabei die Begriffe der Selbstreferenz und Freiheit. Die Beitrage gehen den Folgen der sowohl bei Kant als auch bei Spinoza anzutreffenden Grundannahme einer "Ent-Aristotelisierung" auf dem Gebiet der Motivationstheorien, also der praktischen Philosophie nach. Dass zum Handeln auch eine Motivation gehort, ist fur beide Denker klar. Spinoza wie Kant wussten (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Conflict of interest in education and patient care.Ann Sommerville - 2008 - In Peter A. Singer & A. M. Viens (eds.), The Cambridge textbook of bioethics. New York: Cambridge University Press. pp. 266.
     
    Export citation  
     
    Bookmark  
  36.  9
    Hannah Arendts Theorie der Urteilskraft: am Beispiel von Sophokles Antigone.Anne Saskia Stuhler - 2008 - Saarbrücken: VDM Verlag Dr. Müller.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  5
    Medicine, power, and the law: exploring a pipeline to injustice.Anne Zimmerman - 2022 - [Cambridge, UK]: Ethics International Press Ltd, UK.
    Medicine, Power, and the Law demonstrates that criminal and civil justice interact with medicine and public health more than is presently understood. The book focuses on the role of healthcare practitioners and an array of other professionals across industries in identifying wrongdoers, reporting behavior, and testifying on behalf of the state or government agencies. It also covers circumstances in which law enforcement relies on medicine for evidence or support in ways that compromise medical ethics. By reporting or testifying as experts, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  5
    L'âme des Lumières: le débat sur l'être humain entre religion et science: Angleterre-France (1690-1760).Ann Thomson - 2013 - Seyssel: Champ Vallon.
    Immortalité de l'âme, intelligence, distinction des substances, vie éternelle: ces questions, qui sont au coeur de la réflexion sur la nature de l'être humain, ont passionné les philosophes et les lettrés du Grand Siècle et du Siècle des Lumières. Un débat animé, polémique, s'est noué dans toute l'Europe savante et, notamment, de part et d'autre de la Manche. Avec pour fil conducteur l'émergence d'une conception laïque et matérielle de l'être humain, Ann Thomson nous fait partager l'effervescence féconde de ces échanges (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  19
    Bounded Ethicality and Conflicts of Interest.Ann E. Tenbrunsel - 2005 - In Don A. Moore (ed.), Conflicts of interest: challenges and solutions in business, law, medicine, and public policy. New York: Cambridge University Press. pp. 96.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Commentary : bounded ethicality and conflicts of interest.Ann E. Tenbrunsel - 2005 - In Don A. Moore (ed.), Conflicts of interest: challenges and solutions in business, law, medicine, and public policy. New York: Cambridge University Press.
     
    Export citation  
     
    Bookmark   2 citations  
  41.  22
    REVIEWS-An introduction to mathematical logic and type theory: To truth through proof.P. B. Andrews & Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408.
  42.  13
    Ancient approaches to Plato's Republic.Anne D. R. Sheppard (ed.) - 2013 - London: Institute of Classical Studies, University of London.
  43.  10
    The poetics of Phantasia: imagination in ancient aesthetics.Anne D. R. Sheppard - 2014 - London: Bloomsbury Academic.
    Introduction: Aristotle's phantasia and the ancient concept of imagination -- Visualization, vividness (enargeia) and realism -- Mathematical projection, copying and analogy -- Prophecy, inspiration and allegory -- Conclusion: ancient and modern imagination.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  2
    Trafics de Proust: Merleau-Ponty, Sartre, Deleuze, Barthes.Anne Simon - 2016 - Paris: Hermann.
    Un commerce intime, tantot exalte, tantot inavouable, entre l'oeuvre de Proust et celles de Merleau-Ponty, Sartre, Deleuze ou Barthes se joue au coeur des annees 1950-1970, au moment ou sont renouvelees les facons d'envisager la production theorique. Si le romancier les a particulierement captives, c'est que son oeuvre venait amplifier ou heurter non seulement leur pratique reflexive, mais le sens meme de leur existence et de leur engagement dans l'ecriture. Du roman au traite, de la vie de l'un a la (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  6
    Everyday medical ethics and law.Ann Sommerville - 2013 - Hoboken, NJ: Wiley-Blackwell. Edited by Veronica English & Sophie Brannan.
    A practical approach to ethics -- The doctor-patient relationship -- Consent, choice, and refusal : adults with capacity -- Treating adults who lack capacity -- Treating children and young people -- Confidentiality -- Management of health records --Prescribing and administering medication.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  2
    La naissance des avant-gardes occidentales: 1909-1922.Anne Tomiche - 2015 - Paris: Armand Colin.
    Avant et pendant la Première Guerre mondiale, en Occident, ont fleuri des mouvements qui, parce qu'ils ont conjointement revendiqué un renouvellement radical des pratiques artistiques et une remise en question sociale plus large, ont a posteriori été appelés «avant-gardes». Ce sont ces mouvements qui, du futurisme italien à dada en passant par le futurisme russe, l'imagisme et le vorticisme, sont au centre de cet ouvrage. Aucun, au moment de sa fondation, ne s'est pensé d'«avant-garde». Tous ont en commun de s'être (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Mapping filters and parameters of meaning: issues and tools for interface analyses of meaning construction.Anne Trevise & Martine Sekali - 2012 - In Martine Sekali & Anne Trévise (eds.), Mapping parameters of meaning. Newcastle upon Tyne: Cambridge Scholars Press. pp. 1--13.
     
    Export citation  
     
    Bookmark  
  48. Contributions: 42nd International Wittgenstein Symposium, Kirchberg am Wechsel, 4-10 August 2019.Anne Siegetsleitner, Andreas Oberprantacher & Marie-Luisa Frick (eds.) - 1992 - Austrian Ludwig Wittgenstein Society.
     
    Export citation  
     
    Bookmark  
  49. Stabilizing Mental Disorders: Prospects and Problems.Jacqueline Anne Sullivan - 2014 - In H. Kincaid & J. Sullivan (eds.), Mental Kinds and Natural Kinds. MIT Press. pp. 257-281.
    In this chapter I investigate the kinds of changes that psychiatric kinds undergo when they become explanatory targets of areas of sciences that are not “mature” and are in the early stages of discovering mechanisms. The two areas of science that are the targets of my analysis are cognitive neuroscience and cognitive neurobiology.
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  50. Construct Stabilization and the Unity of the Mind-Brain Sciences.Jacqueline Anne Sullivan - 2016 - Philosophy of Science 83 (5):662-673.
    This paper offers a critique of an account of explanatory integration that claims that explanations of cognitive capacities by functional analyses and mechanistic explanations can be seamlessly integrated. It is shown that achieving such explanatory integration requires that the terms designating cognitive capacities in the two forms of explanation are stable but that experimental practice in the mind-brain sciences currently is not directed at achieving such stability. A positive proposal for changing experimental practice so as to promote such stability is (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
1 — 50 / 991