Results for 'Ann Yasuhara'

(not author) ( search as author name )
991 found
Order:
  1.  15
    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.  19
    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. Review: George J. Tourlakis, Computability. [REVIEW]Ann Yasuhara - 1988 - Journal of Symbolic Logic 53 (4):1255-1257.
     
    Export citation  
     
    Bookmark  
  5.  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.
  6.  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  
  7.  10
    Review: Raymond M. Smullyan, On Post's Canonical Systems. [REVIEW]Ann Yasuhara - 1968 - Journal of Symbolic Logic 33 (4):623-623.
  8.  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.
  9.  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  
  10.  25
    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  
  11.  27
    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  
  12.  11
    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  
  13.  27
    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  
  14.  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  
  15. Review: Ann Yasuhara, A Remark on Post Normal Systems. [REVIEW]M. D. Gladstone - 1968 - Journal of Symbolic Logic 33 (1):116-117.
  16.  17
    Review: Ann Yasuhara, Recursive Function Theory and Logic. [REVIEW]Joseph S. Ullian - 1975 - Journal of Symbolic Logic 40 (4):619-620.
  17.  28
    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  
  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. An Art that will not Abandon the Self to Language: Bloom, Tennyson, and the Blind World of the Wish.Ann Wordsworth - 1981 - In Robert Young (ed.), Untying the text: a post-structuralist reader. Boston: Routledge & Kegan Paul. pp. 207--22.
    No categories
     
    Export citation  
     
    Bookmark  
  21. 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   183 citations  
  22.  8
    Platon et la dysharmonie: recherches sur la forme musicale.Anne Gabrièle Wersinger - 2001 - Paris: J. Vrin.
    Dans la genese de sa constitution, la philosophie n'a pu faire l'economie d'une confrontation avec la musique qui fournissait aux anciens Grecs les schemes fondamentaux de la culture. De cette confrontation Platon est le temoin. Scindant la musique, il privilegie l'Harmonique, qui en est la partie theorique, sans toutefois lui reconnaitre la titre de science supreme. Correlativement, il condamne comme dysharmonie, tumulte fracassant et perturbateur de l'ordre cosmique, l'harmonie chromaticiste dont il s'emploie, non sans paradoxe, a decrire le detail. Par (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  8
    2 Reading the Body.Anne Woollett & Harriette Marshall - 1997 - In Kathy Davis (ed.), Embodied practices: feminist perspectives on the body. Thousand Oaks, Calif.: Sage Publications. pp. 1--27.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  27
    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.
  25.  66
    Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.
  26.  23
    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.
  27.  6
    Trust and transparency in an age of surveillance.Lora Anne Viola & Paweł Laidler (eds.) - 2021 - New York, NY: Routledge.
    Investigating the theoretical and empirical relationships between transparency and trust in the context of surveillance, this volume argues that neither transparency nor trust provides a simple and self-evident path for mitigating the negative political and social consequences of state surveillance practices. Dominant in both the scholarly literature and public debate is the conviction that transparency can promote better-informed decisions, greater oversight, and restore trust damaged by the secrecy of surveillance. The contributions to this volume challenge this conventional wisdom by considering (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  9
    Concepts and Cases in Nursing Ethics - Fourth Edition (4th edition).Michael Yeo, Anne Moorhouse, Pamela Khan & Patricia Rodney (eds.) - 2020 - Peterborough, CA: Broadview Press.
    _A portion of the revenue from this book’s sales will be donated to Doctors Without Borders to assist the humanitarian work of nurses, doctors, and other health care providers in the fight against COVID-19 and beyond._ _Concepts and Cases in Nursing Ethics_ is an introduction to contemporary ethical issues in health care, designed especially for Canadian audiences. The book is organized around six key concepts: beneficence, autonomy, truth-telling, confidentiality, justice, and integrity. Each of these concepts is explained and discussed with (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  44
    Syntactical and semantical properties of generalized quantifiers.Mitsuru Yasuhara - 1966 - Journal of Symbolic Logic 31 (4):617-632.
  30.  4
    Droits des femmes : les paradoxes de l’intégration européenne.Anne Querrien & Monique Selim - 2024 - Multitudes 95 (2):198-200.
    Pionnière dans la pénalisation du viol en 1980, la France a été en eurocrime qu’aurait entraîné l’unanimité dans l’acceptation de la nouvelle définition proposée par la Commission européenne. L’absence de consentement devient finalement pour tous le critère principal, et de nombreux pays ont aligné récemment leur législation avec la directive européenne. Sur le droit à l’avortement, la convergence est moins sensible, plusieurs pays mettent d’importantes restrictions. La constitutionnalisation de la liberté d’avorter et de sa garantie en France va peut-être conduire (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. The expanding landscape : recent directions in feminist bioethics.Anne Donchin - 2010 - In Jackie Leach Scully, Laurel Baldwin-Ragaven & Petya Fitzpatrick (eds.), Feminist bioethics: at the center, on the margins. Baltimore: Johns Hopkins University Press.
  32.  2
    For all that lives.Ann Atwood - 1975 - New York: Scribner. Edited by Erica Anderson & Albert Schweitzer.
    The meaning of life and man's alienation from himself and his natural environment is examined in brief selections, illustrated with photographs, from the works of Albert Schweitzer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  3
    Du simple selon G. W. Leibniz: discours de métaphysique et monadologie: étude comparative critique des propriétés de la substance appuyée sur l'opération informatique "Monado 74".Anne Becco - 1975 - Paris: J. Vrin.
  34.  1
    The age of belief.Anne Fremantle - 1954 - [New York]: New American Library.
  35.  5
    Religion and the unconscious.Ann Belford Ulanov - 1975 - Philadelphia: Westminster Press. Edited by Barry Ulanov.
  36.  4
    Apartheid en postapartheid herbekeken: ‘nieuwe’ Stellenbosch wijn?Anne Walraet - 2009 - Res Publica 51 (3):411-424.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  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  
  38. The measurement of moral judgment.Anne Colby - 1987 - New York: Cambridge University Press. Edited by Lawrence Kohlberg.
    This long-awaited two-volume set constitutes the definitive presentation of the system of classifying moral judgment built up by Lawrence Kohlberg and his associates over a period of twenty years. Researchers in child development and education around the world, many of whom have worked with interim versions of the system, indeed, all those seriously interested in understanding the problem of moral judgment, will find it an indispensable resource. Volume I reviews Kohlberg's stage theory, and the by-now large body of research on (...)
    Direct download  
     
    Export citation  
     
    Bookmark   167 citations  
  39.  18
    Extraction from subjects: Differences in acceptability depend on the discourse function of the construction.Anne Abeillé, Barbara Hemforth, Elodie Winckel & Edward Gibson - 2020 - Cognition 204 (C):104293.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  40.  33
    An axiomatic system for the first order language with an equi-cardinality quantifier.Mitsuru Yasuhara - 1966 - Journal of Symbolic Logic 31 (4):633-640.
  41.  37
    Cut Elimination in ε‐Calculi.Mitsuru Yasuhara - 1982 - Mathematical Logic Quarterly 28 (20-21):311-316.
  42. Causation and the Grounds of Freedom. [REVIEW]Ann Whittle - 2018 - Teorema: International Journal of Philosophy 36:61-76.
    In this paper, I take a critical look at Sartorio’s book Causation and Free Will (2016). Sartorio offers a rich defence of an actual-sequence view of freedom, which pays close attention to issues in the philosophy of causation and how they relate to freedom. I argue that although this focus on causation is illuminating, Sartorio’s project nevertheless runs into some serious difficulties. Perhaps most worrying amongst them is whether the agent-based reason-sensitivity account, offered by Sartorio, is consistent with Frankfurt-style cases (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  23
    The structure of an Al–Rh–Cu decagonal quasicrystal studied by spherical aberration -corrected scanning transmission electron microscopy.Kenji Hiraga, Akira Yasuhara, Kazuki Yamamoto & Kunio Yubuta - 2015 - Philosophical Magazine 95 (14):1524-1535.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  18
    An Addition to “Cut Elimination in ϵ‐Calculi”.Mitsuru Yasuhara - 1989 - Mathematical Logic Quarterly 35 (6):483-484.
  45.  26
    An Addition to “Cut Elimination in ε-Calculi”.Mitsuru Yasuhara - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):483-484.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  21
    Cut Elimination in ε‐Calculi.Mitsuru Yasuhara - 1982 - Mathematical Logic Quarterly 28 (20‐21):311-316.
  47.  18
    On a Problem of Mostowski on Finite Spectra.Mitsuru Yasuhara - 1971 - Mathematical Logic Quarterly 17 (1):17-20.
  48.  32
    On a Problem of Mostowski on Finite Spectra.Mitsuru Yasuhara - 1971 - Mathematical Logic Quarterly 17 (1):17-20.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  31
    R. H. Thomason and H. Leblanc. All or none: a novel choice of primitives for elementary logic. The journal of symbolic logic, vol. 32 , pp. 345–351.Mitsuru Yasuhara - 1969 - Journal of Symbolic Logic 34 (1):124-125.
  50.  28
    The study of Al3 crystal and Al–Mn–Pd decagonal quasicrystal by spherical aberration-corrected scanning transmission microscopy and atomic-resolution energy dispersive X-ray spectroscopy.Akira Yasuhara & Kenji Hiraga - 2015 - Philosophical Magazine 95 (14):1511-1523.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 991