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

210 found
Order:
  1.  22
    Sachio Hirokawa, Yuichi Komori & Izumi Takeuti (1996). A Reduction Rule for Peirce Formula. Studia Logica 56 (3):419 - 426.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. Gaisi Takeuti (1987). Proof Theory. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
     
    Export citation  
     
    My bibliography   77 citations  
  3. Yoshinori Mizokami, Takeshi Terao, Koji Hatano, Nobuhiko Hoaki, Kentaro Kohno, Yasuo Araki, Kensuke Kodama, Mayu Makino, Toshihiko Izumi, Tsuyoshi Shimomura, Minoru Fujiki & Takanori Kochiyama (2014). Difference in Brain Activations During Appreciating Paintings and Photographic Analogs. Frontiers in Human Neuroscience 8.
  4. Naoyuki Takeuchi & Shin-Ichi Izumi (2015). Combinations of Stroke Neurorehabilitation to Facilitate Motor Recovery: Perspectives on Hebbian Plasticity and Homeostatic Metaplasticity. Frontiers in Human Neuroscience 9.
  5. Gaisi Takeuti (1971). Meetings of the Association for Symbolic Logic. Journal of Symbolic Logic 36 (2):357-384.
  6. Gaisi Takeuti (1988). Boolean Simple Groups and Boolean Simple Rings. Journal of Symbolic Logic 53 (1):160-173.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7. Gaisi Takeuti (1978). Two Applications of Logic to Mathematics. Princeton University Press.
     
    Export citation  
     
    My bibliography   26 citations  
  8. Gaisi Takeuti (1998). Frege Proof System and TNC⚬. Journal of Symbolic Logic 63 (2):709 - 738.
  9.  55
    Shigeko Izumi (2006). Bridging Western Ethics and Japanese Local Ethics by Listening to Nurses' Concerns. Nursing Ethics 13 (3):275-283.
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  10.  28
    Gaisi Takeuti (1969). The Universe of Set Theory. In Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.), Foundations of Mathematics. New York, Springer 74--128.
  11.  1
    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.
    T i 2 = S i +1 2 implies ∑ p i +1 ⊆ Δ p i +1 ⧸poly. S 2 and IΔ 0 ƒ are not finitely axiomatizable. The main tool is a Herbrand-type witnessing theorem for ∃∀∃ П b i -formulas provable in T i 2 where the witnessing functions are □ p i +1.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   20 citations  
  12. Gaisi Takeuti (1994). The Critical Number of a Variable in a Function. Journal of Symbolic Logic 59 (4):1228-1244.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  13.  57
    Gaisi Takeuti & Satoko Titani (1984). Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. Journal of Symbolic Logic 49 (3):851-866.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  14.  17
    Gaisi Takeuti (1990). S 3 I andV 2 I (BD). Archive for Mathematical Logic 29 (3):149-169.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  13
    Gaisi Takeuti (1991). Jan Krajíèek. Annals of Pure and Applied Logic 52:143-153.
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  6
    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.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  17.  49
    Gaisi Takeuti (1985). Proof Theory and Set Theory. Synthese 62 (2):255 - 263.
    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)  
     
    Export citation  
     
    My bibliography   4 citations  
  18.  6
    Gaisi Takeuti & Satoko Titani (1992). Fuzzy Logic and Fuzzy Set Theory. Archive for Mathematical Logic 32 (1):1-32.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  19.  3
    P. Clote & G. Takeuti (1992). Bounded Arithmetic for NC, ALogTIME, L and NL. Annals of Pure and Applied Logic 56 (1-3):73-117.
    We define theories of bounded arithmetic, whose definable functions and relations are exactly those in certain complexity classes. Based on a recursion-theoretic characterization of NC in Clote , the first-order theory TNC, whose principal axiom scheme is a form of short induction on notation for nondeterministic polynomial-time computable relations, has the property that those functions having nondeterministic polynomial-time graph Θ such that TNC x y Θ are exactly the functions in NC, computable on a parallel random-access machine in polylogarithmic parallel (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  20.  4
    Gaisi Takeuti & Satoko Titani (1987). Globalization of Intui Tionistic Set Theory. Annals of Pure and Applied Logic 33 (2):195-211.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  21.  8
    Hiroshi Izumi (forthcoming). Exploring the Relationship Between Teacher Questioning and Students' Interest in the Content: Teachers' General Perceptions. Sophia.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  8
    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.
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  23.  7
    Hiroshi Izumi (forthcoming). A Study of an Appropriate Way of Asking Questions in the Questionnaire on Teacher's Preference Regarding Teaching Activities. Sophia.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  14
    Gaisi Takeuti (2000). Gödel Sentences of Bounded Arithmetic. Journal of Symbolic Logic 65 (3):1338-1346.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  25.  8
    G. Takeuti (1995). RSUV Isomorphisms for TAC I , TNC I and TLS. Archive for Mathematical Logic 33 (6):427-453.
    We investigate the second order bounded arithmetical systems which is isomorphic to TAC i , TNC i or TLS.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  11
    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.
    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)  
     
    Export citation  
     
    My bibliography  
  27. Susumu Tamagawa, Shinya Sakurai, Takuya Tejima, Takeshi Morita, Noriaki Izumi & Takahira Yamaguchi (2010). Learning a Large Scale of Ontology From Japanese Wikipedia. Transactions of the Japanese Society for Artificial Intelligence 25:623-636.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28. 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.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  29.  2
    Gaisi Takeuti (1988). Bounded Arithmetic and Truth Definition. Annals of Pure and Applied Logic 39 (1):75-104.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  30.  6
    Gaisi Takeuti & Masahiro Yasumoto (1998). Forcing on Bounded Arithmetic II. Journal of Symbolic Logic 63 (3):860-868.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  31.  3
    Gaisi Takeuti (1991). A Second Order Version of Si2 and U12. Journal of Symbolic Logic 56 (3):1038-1063.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32.  13
    Kosuke Itoh & Akihiro Izumi (2005). Affiliative Bonding as a Dynamical Process: A View From Ethology. Behavioral and Brain Sciences 28 (3):355-356.
    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)  
     
    Export citation  
     
    My bibliography  
  33.  2
    Georg Kreisel & Gaisi Takeuti (1985). Formally Self-Referential Propositions for Cut Free Analysis and Related Systems. Journal of Symbolic Logic 50 (1):244-246.
    Direct download  
     
    Export citation  
     
    My bibliography  
  34.  6
    Gaisi Takeuti (1965). A Formalization of the Theory of Ordinal Numbers. Journal of Symbolic Logic 30 (3):295-317.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  35.  4
    Gaisi Takeuti & Satoko Titani (1986). Global Intuitionistic Analysis. Annals of Pure and Applied Logic 31 (2):307-339.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. Akihiro Izumi (2002). Auditory Stream Segregation in Japanese Monkeys. Cognition 82 (3):B113-B122.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  10
    Gaisi Takeuti (1965). Transcendence of Cardinals. Journal of Symbolic Logic 30 (1):1-7.
  38.  6
    Gaisi Takeuti (1979). A Transfer Principle in Harmonic Analysis. Journal of Symbolic Logic 44 (3):417-440.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  2
    Hiroaki Izumi (2014). Local Division of Labor in Rehabilitation Team Conferences. Human Studies 37 (3):393-430.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  8
    Gaisi Takeuti (1994). Grzegorcyk's Hierarchy and Iepσ. Journal of Symbolic Logic 59 (4):1274 - 1284.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  41.  10
    Shoji Maehara & Gaisi Takeuti (1971). Two Interpolation Theorems for a Π11 Predicate Calculus. Journal of Symbolic Logic 36 (2):262 - 270.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  42. Gaisi Takeuti (1995). Separations of Theories in Weak Bounded Arithmetic. Annals of Pure and Applied Logic 71 (1):47-67.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  1
    Gaisi Takeuti (1959). On the Fundamental Conjecture of GLC. Journal of Symbolic Logic 24 (1):62-64.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44. Gaisi Takeuti (1959). Review: Setsuya Seki, Introduction to Set Theory. [REVIEW] Journal of Symbolic Logic 24 (1):73-73.
     
    Export citation  
     
    My bibliography  
  45.  5
    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.
  46. Gaisi Takeuti & Mariko Yasugi (1983). The Ordinals of the Systems of Second Order Arithmetic with the Provably ▵ 1 2 -Comprehension Axiom and with the ▵ 1 2 - Comprehension Axiom Respectively. [REVIEW] Journal of Symbolic Logic 48 (3):877-878.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  47. Gaisi Takeuti (1967). Review: Kurt Schutte, Syntactical and Semantical Properties of Simple Type Theory. [REVIEW] Journal of Symbolic Logic 32 (3):418-419.
     
    Export citation  
     
    My bibliography  
  48.  1
    Shigeko Izumi (2010). Ethical Practice in End-of-Life Care in Japan. Nursing Ethics 17 (4):457-468.
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  49. Gaisi Takeuti (1964). Ordinal Diagrams II. Journal of Symbolic Logic 29 (3):146-147.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  50. Gaisi Takeuti (1959). A Metamathematical Theorem on the Theory of Ordinal Numbers. Journal of Symbolic Logic 24 (1):62-62.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 210