Search results for 'Izumi Takeuti' (try it on Scholar)

116 found
Sort by:
  1. Sachio Hirokawa, Yuichi Komori & Izumi Takeuti (1996). A Reduction Rule for Peirce Formula. Studia Logica 56 (3):419 - 426.score: 240.0
    A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P (()). It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Gaisi Takeuti (1985). Proof Theory and Set Theory. Synthese 62 (2):255 - 263.score: 30.0
    The foundations of mathematics are divided into proof theory and set theory. Proof theory tries to justify the world of infinite mind from the standpoint of finite mind. Set theory tries to know more and more of the world of the infinite mind. The development of two subjects are discussed including a new proof of the accessibility of ordinal diagrams. Finally the world of large cardinals appears when we go slightly beyond girard's categorical approach to proof theory.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Gaisi Takeuti & Satoko Titani (1984). Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. Journal of Symbolic Logic 49 (3):851-866.score: 30.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Gaisi Takeuti (2000). Gödel Sentences of Bounded Arithmetic. Journal of Symbolic Logic 65 (3):1338-1346.score: 30.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Gaisi Takeuti (1988). Boolean Simple Groups and Boolean Simple Rings. Journal of Symbolic Logic 53 (1):160-173.score: 30.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Kosuke Itoh & Akihiro Izumi (2005). Affiliative Bonding as a Dynamical Process: A View From Ethology. Behavioral and Brain Sciences 28 (3):355-356.score: 30.0
    Depue & Morrone-Strupinsky's (D&M-S's) implicit assumption appears to be that affiliative bonding is either strengthened or maintained with time; however, it is more realistic that it can also be weakened or destroyed by conflictive interpersonal interactions. Without specifying the mechanisms by which antagonistic stimuli deteriorate affiliative bonding, the model is incapable of accounting for the dynamics associated with this complex phenomenon.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Gaisi Takeuti (1979). A Transfer Principle in Harmonic Analysis. Journal of Symbolic Logic 44 (3):417-440.score: 30.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. Gaisi Takeuti & Masahiro Yasumoto (1998). Forcing on Bounded Arithmetic II. Journal of Symbolic Logic 63 (3):860-868.score: 30.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. S. Izumi, H. Nagae, C. Sakurai & E. Imamura (2012). Defining End-of-Life Care From Perspectives of Nursing Ethics. Nursing Ethics 19 (5):608-618.score: 30.0
    Despite increasing interests and urgent needs for quality end-of-life care, there is no exact definition of what is the interval referred to as end of life or what end-of-life care is. The purpose of this article is to report our examination of terms related to end-of-life care and define end-of-life care from nursing ethics perspectives. Current terms related to end-of-life care, such as terminal care, hospice care, and palliative care, are based on a medical model and are restrictive in terms (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  10. Gaisi Takeuti (1965). A Formalization of the Theory of Ordinal Numbers. Journal of Symbolic Logic 30 (3):295-317.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Gaisi Takeuti (1998). Frege Proof System and TNC⚬. Journal of Symbolic Logic 63 (2):709 - 738.score: 30.0
  12. Carl G. Jockusch Jr, Robert I. Soare, William Tait & Gaisi Takeuti (1978). Meeting of the Association for Symbolic Logic: Chicago, 1977. Journal of Symbolic Logic 43 (3):614 - 619.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Shoji Maehara & Gaisi Takeuti (1971). Two Interpolation Theorems for a Π11 Predicate Calculus. Journal of Symbolic Logic 36 (2):262 - 270.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Gaisi Takeuti (1965). Transcendence of Cardinals. Journal of Symbolic Logic 30 (1):1-7.score: 30.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. D. Doutrich, P. Wros & S. Izumi (2001). Relief of Suffering and Regard for Personhood: Nurses' Ethical Concerns in Japan and the USA. Nursing Ethics 8 (5):448-458.score: 30.0
    The ethical concerns of Japanese nurses are compared with those of previously described nurses from the USA. Patient comfort was a primary concern of nurses from both countries. Participants described an ethical imperative to provide adequate pain medication for patients and prevent unnecessary and uncomfortable invasive tests and procedures, especially at the end of life as the focus changed from ‘cure’ to ‘care’. The notion of regard for personhood varied, based on the communication styles and definition of the self inherent (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Gaisi Takeuti (1994). Grzegorcyk's Hierarchy and Iepσ. Journal of Symbolic Logic 59 (4):1274 - 1284.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Gaisi Takeuti & Satoko Titani (1986). Global Intuitionistic Analysis. Annals of Pure and Applied Logic 31:307-339.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Gaisi Takeuti (1971). Meetings of the Association for Symbolic Logic. Journal of Symbolic Logic 36 (2):357-384.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  19. Gaisi Takeuti (1994). The Critical Number of a Variable in a Function. Journal of Symbolic Logic 59 (4):1228-1244.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Shigeko Izumi (2006). Bridging Western Ethics and Japanese Local Ethics by Listening to Nurses' Concerns. Nursing Ethics 13 (3):275-283.score: 30.0
    Among Japanese nurses ethics is perceived as being distant and unrelated to their practice, although this is filled with ethical concerns and the making of ethical decisions. The reasons for this dissociation are the primacy of western values in modern Japanese health care systems and the suppression of Japanese nurses’ indigenous ethical values because of domination by western ethics. A hermeneutic study was conducted to listen to the ethical voices of Japanese nurses. Seven ethical concerns were revealed. Although some of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Shigeko Izumi (2010). Ethical Practice in End-of-Life Care in Japan. Nursing Ethics 17 (4):457-468.score: 30.0
    Nurses are obliged to provide quality nursing care that meets the ethical standards of their profession. However, clear descriptions of ethical practice are largely missing in the literature. Qualitative research using a phenomenological approach was conducted to explicate ethical nursing practice in Japanese end-of-life care settings and to discover how ethical practices unfold in clinical situations. Two paradigm cases and contrasting narratives of memorable end-of-life care from 32 Japanese nurses were used to reveal four levels of ethical practice: ethical, distressed, (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  22. Betty T. Izumi, D. Wynne Wright & Michael W. Hamm (2010). Farm to School Programs: Exploring the Role of Regionally-Based Food Distributors in Alternative Agrifood Networks. [REVIEW] Agriculture and Human Values 27 (3):335-350.score: 30.0
    Farm to school programs are at the vanguard of efforts to create an alternative agrifood system in the United States. Regionally-based, mid-tier food distributors may play an important role in harnessing the potential of farm to school programs to create viable market opportunities for small- and mid-size family farmers, while bringing more locally grown fresh food to school cafeterias. This paper focuses on the perspectives of food distributors. Our findings suggest that the food distributors profiled have the potential to help (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Jan Krajíček, Pavel Pudlák & Gaisi Takeuti (1991). Bounded Arithmetic and the Polynomial Hierarchy. Annals of Pure and Applied Logic 52 (1-2):143-153.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. Gaisi Takeuti (1988). Bounded Arithmetic and Truth Definition. Annals of Pure and Applied Logic 39 (1):75-104.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. G. Takeuti (1995). RSUV Isomorphisms for TAC I , TNC I and TLS. Archive for Mathematical Logic 33 (6):427-453.score: 30.0
    We investigate the second order bounded arithmetical systems which is isomorphic to TAC i , TNC i or TLS.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  26. Gaisi Takeuti (1967). Review: Kurt Schutte, Syntactical and Semantical Properties of Simple Type Theory. [REVIEW] Journal of Symbolic Logic 32 (3):418-419.score: 30.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. P. Clote & G. Takeuti (1992). Bounded Arithmetic for NC, ALogTIME, L and NL. Annals of Pure and Applied Logic 56 (1-3):73-117.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. Hiroshi Izumi (forthcoming). A Study of an Appropriate Way of Asking Questions in the Questionnaire on Teacher's Preference Regarding Teaching Activities. Sophia.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Akihiro Izumi (2002). Auditory Stream Segregation in Japanese Monkeys. Cognition 82 (3):B113-B122.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. Hiroshi Izumi (forthcoming). Exploring the Relationship Between Teacher Questioning and Students' Interest in the Content: Teachers' General Perceptions. Sophia.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Hiroaki Izumi (forthcoming). Local Division of Labor in Rehabilitation Team Conferences. Human Studies:1-38.score: 30.0
    This study investigates rehabilitation team members’ interactive accomplishments of their domains of work and responsibility in rehabilitation team conferences in Japan. A combination of membership categorization analysis and sequential analysis is adopted to systematically illustrate the situated productions of professional sense-making practices. Analysis focuses on the segment in which a physician asks a series of questions regarding a patient’s functional status and disability coded in the functional assessment record (FAR). A close examination of data shows that a physician does not (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Yu Izumi (2008). Some Remarks on an Implementation of the Burgean View of Proper Names. Proceedings of the Xxii World Congress of Philosophy 39:79-88.score: 30.0
    Tyler Burge's theory of proper names is being revived with the help of Generative Grammar. The complex syntax of DPs appears to encourage the Burgean analysis of proper names which attributes complex semantic structures to the uses of proper names. I will argue, however, that the Millian view of proper names which hypothesizes simple semantics for names is also compatible with the complex syntactic structures. In order to defend this thesis, I will show that Paul Elbourne's implementation of Burge's insight (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  33. Kimitoshi Kohno, Hiroto Izumi, Takeshi Uchiumi, Megumi Ashizuka & Michihiko Kuwano (2003). The Pleiotropic Functions of the Y‐Box‐Binding Protein, YB‐1. Bioessays 25 (7):691-698.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  34. G. H. Müller, Gaisi Takeuti & T. Tugué (eds.) (1981). Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980. [REVIEW] Springer-Verlag.score: 30.0
     
    My bibliography  
     
    Export citation  
  35. Gaisi Takeuti (1991). A Second Order Version of Si2 and U12. Journal of Symbolic Logic 56 (3):1038-1063.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. Gaisi Takeuti & Satoko Titani (1992). Fuzzy Logic and Fuzzy Set Theory. Archive for Mathematical Logic 32 (1):1-32.score: 30.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. Gaisi Takeuti (1998). Frege Proof System and TNC$^Circ$. Journal of Symbolic Logic 63 (2):709-738.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Gaisi Takeuti (1994). Grzegorcyk's Hierarchy and $IepSigma_1$. Journal of Symbolic Logic 59 (4):1274-1284.score: 30.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Gaisi Takeuti & Satoko Titani (1987). Globalization of Intui Tionistic Set Theory. Annals of Pure and Applied Logic 33:195-211.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. Gaisi Takeuti (1971). Introduction to Axiomatic Set Theory. New York,Springer-Verlag.score: 30.0
     
    My bibliography  
     
    Export citation  
  41. Gaisi Takeuti (1991). Jan Krajíèek. Annals of Pure and Applied Logic 52:143-153.score: 30.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Gaisi Takeuti (1987). Proof Theory. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..score: 30.0
     
    My bibliography  
     
    Export citation  
  43. Gaisi Takeuti (1959). Review: Setsuya Seki, Foundations of Mathematics. [REVIEW] Journal of Symbolic Logic 24 (1):73-73.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Gaisi Takeuti (1959). Review: Setsuya Seki, Introduction to Set Theory. [REVIEW] Journal of Symbolic Logic 24 (1):73-73.score: 30.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Gaisi Takeuti (1960). Review: Setsuya Seki, Report of a Symposium. [REVIEW] Journal of Symbolic Logic 25 (2):160-161.score: 30.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Gaisi Takeuti (1990). S 3 I andV 2 I (BD). Archive for Mathematical Logic 29 (3):149-169.score: 30.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  47. Gaisi Takeuti (1995). Separations of Theories in Weak Bounded Arithmetic. Annals of Pure and Applied Logic 71 (1):47-67.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  48. Gaisi Takeuti (1978). Two Applications of Logic to Mathematics. Princeton University Press.score: 30.0
     
    My bibliography  
     
    Export citation  
  49. Gaisi Takeuti (1969). The Universe of Set Theory. In. In Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.), Foundations of Mathematics. New York, Springer. 74--128.score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Roger M. Cooke & Michiel Lambalgen (1983). The Representation of Takeuti's *20c ||_ -Operator. Studia Logica 42 (4):407 - 415.score: 18.0
    Gaisi Takeuti has recently proposed a new operation on orthomodular lattices L, ⫫: $\scr{P}(L)\rightarrow L$ . The properties of ⫫ suggest that the value of ⫫ $(A)(A\subseteq L)$ corresponds to the degree in which the elements of A behave classically. To make this idea precise, we investigate the connection between structural properties of orthomodular lattices L and the existence of two-valued homomorphisms on L.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 116