Results for 'Koji Miwa'

683 found
Order:
  1.  31
    One Label or Two? Linguistic Influences on the Similarity Judgment of Objects between English and Japanese Speakers.Takahiko Masuda, Keiko Ishii, Koji Miwa, Marghalara Rashid, Hajin Lee & Rania Mahdi - 2017 - Frontiers in Psychology 8.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  14
    Structure Mapping in Second-Language Metaphor Processing.Miki Ikuta & Koji Miwa - 2021 - Metaphor and Symbol 36 (4):288-310.
    This study investigated metaphor processing in a second language by considering both analogy and categorization. Previous studies found that forward metaphors...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  3
    Seimei rinri ni okeru shūkyō to supirichuariti.Miwa Fujii (ed.) - 2010 - Kyōto-shi: Kōyō Shobō.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  14
    Placing Physical Restraints on Older People with Dementia.Miwa Yamamoto & Yoko Aso - 2009 - Nursing Ethics 16 (2):192-202.
    This study aimed to clarify the coping strategies of nurses working in general wards who face the ethical dilemma of restraining older people with dementia. The participants were 272 nurses working in general wards in the Kansai region of Japan. Coping strategies were measured using a questionnaire consisting of 16 items. A low score of 1—4 points suggested good coping strategies. Factors were difficult to interpret for three of the 16 coping items identified; these items were therefore deleted. Eleven of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  32
    Neurorights to Free Will: Remaining in Danger of Impossibility.Koji Ota - 2023 - American Journal of Bioethics Neuroscience 14 (4):377-379.
    Neurorights, as “new human rights,” have been increasingly recognized in the literature. In the Neurorights Initiative, these rights are supposed to be directed toward mental privacy, free will, pe...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Buddhist Shipping Containers.Koji Tanaka - 2023 - In Christian Coseru (ed.), Reasons and Empty Persons: Mind, Metaphysics, and Morality: Essays in Honor of Mark Siderits. Springer. pp. 295-305.
    In his book review of Graham Priest's The Fifth Corner of Four, Mark Siderits, while criticising Priest's philology, suggests that Priest's work is 'of considerable interest' for two reasons. First, 'when two independent traditions use similar methods to work on similar issues, it is always possible that one may have hit on approaches that the other missed'. Second, 'the decentering that can be induced by looking at another tradition may trigger fresh insights, even if those insights are not ones that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  26
    BisNet: Web ブラウザのブックマーク機能を利用した情報共有システム.Sayama Hiroki Sano Koji - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:281-288.
    We propose a new information sharing system, named ``BisNet'', which automatically gathers information about the bookmarks stored in users' web browsers and helps the users exchange URIs of possibly interesting web pages with others who have similar interest with them. Being different from other typical agent services that gather and provide information according to pre-registered user profiles, BisNet is expected to share more relevant information because of its use of web browser bookmarks that are actively selected and ordered by many (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  9
    How Does Explanatory Virtue Determine Probability Estimation?—Empirical Discussion on Effect of Instruction.Asaya Shimojo, Kazuhisa Miwa & Hitoshi Terai - 2020 - Frontiers in Psychology 11.
    It is important to reveal how humans evaluate an explanation of the recent development of explainable artificial intelligence. So, what makes people feel that one explanation is more likely than another? In the present study, we examine how explanatory virtues affect the process of estimating subjective posterior probability. Through systematically manipulating two virtues, Simplicity—the number of causes used to explain effects—and Scope—the number of effects predicted by causes—in three different conditions, we clarified two points in Experiment 1: that Scope's effect (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  45
    Phylogenetic Distribution and Trajectories of Visual Consciousness: Examining Feinberg and Mallatt’s Neurobiological Naturalism.Koji Ota, Daichi G. Suzuki & Senji Tanaka - 2022 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 53 (4):459-476.
    Feinberg and Mallatt, in their presentation of neurobiological naturalism, have suggested that visual consciousness was acquired by early vertebrates and inherited by a wide range of descendants, and that its neural basis has shifted to nonhomologous nervous structures during evolution. However, their evolutionary scenario of visual consciousness relies on the assumption that visual consciousness is closely linked with survival, which is not commonly accepted in current consciousness research. We suggest an alternative idea that visual consciousness is linked to a specific (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  20
    Rapid nickel diffusion in cold-worked carbon steel at 320–450 °C.Koji Arioka, Yoshiaki Iijima & Tomoki Miyamoto - 2015 - Philosophical Magazine 95 (32):3577-3589.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  15
    Voters’ Left–Right Perception of Parties in Contemporary Japan: Removing the Noise of Misunderstanding.Hirofumi Miwa - 2015 - Japanese Journal of Political Science 16 (1):114-137.
    The prevailing theory states that either Japanese voters have stopped ideologically distinguishing parties or that the main political parties in Japan have become more centrist in recent years. These arguments are based on survey questions asking citizens to locate parties on an ideological scale. However, these questions may suffer from noise caused by respondents who misinterpret the question wording or answer the questions inappropriately to mask their misunderstanding of the terms and . To address this problem by extracting only the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  8
    Differences in the distribution of attention to trained procedure between finders and non-finders of the alternative better procedure.Yuki Ninomiya, Hitoshi Terai & Kazuhisa Miwa - 2022 - Frontiers in Psychology 13.
    The human ability to flexibly discover alternatives without fixating on a known solution supports a variety of human creative activities. Previous research has shown that people who discover an alternative procedure relax their attentional bias to information regarding the known solutions just prior to the discovery. This study examined whether the difference in the distribution of attention between the finders and non-finders of the alternative procedure is observed from the phase of solving the problem using the trained procedure. We evaluated (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  92
    A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
    Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14. Two Kinds of Logical Impossibility.Alexander Sandgren & Koji Tanaka - 2020 - Noûs 54 (4):795-806.
    In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  15.  14
    Conflicts of Interest in Japanese Insolvencies: The Problem of Bank Rescues.J. Mark Ramseyer & Yoshiro Miwa - 2005 - Theoretical Inquiries in Law 6 (2):301-340.
    Economists and legal scholars routinely posit an implicit contract between Japanese firms and their principal lender. Under this arrangement, the bank implicitly agrees to rescue the firm when times turn bad. Out of court, it rescues the firm from insolvency. Not only does it save the investments specific to the troubled firm, it lowers the use of costly bankruptcy proceedings and cuts the costs of those bankruptcy procedures firms do occasionally invoke. Given the creditor-shareholder conflicts of interest that arise as (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Giron to kachi.Masashi Miwa - 1972
    No categories
     
    Export citation  
     
    Bookmark  
  17. Hyōchū Denshūroku.Shissai Miwa - 1897 - Ōsaka-shi: seihon hatsubaijo Aoki Sūzandō. Edited by Yangming Wang.
     
    Export citation  
     
    Bookmark  
  18. Inoue Enryō Sensei: denki Inoue Enryō.Seiichi Miwa (ed.) - 1919 - Tōkyō: Ōzorasha.
     
    Export citation  
     
    Bookmark  
  19.  10
    Kinetic isotope effects and ‘metabolic switching’ in cytochrome P450‐catalyzed reactions.Gerald T. Miwa & Anthony Y. H. Lu - 1987 - Bioessays 7 (5):215-219.
    The mechanistic significance of a kinetic isotope effect on a cytochrome P‐450catalyzed reaction depends, fundamentally, on the nature of the interaction of the substrate with the active site of the enzyme as well as on the nature of the chemistry of the reaction catalyzed. Consequently, kinetic isotope effects can be used to extract information on the topology of the enzyme and the mechanism of substrate oxidation. Kinetic isotope effect studies are sometimes accompanied by ‘metabolic switching’ or a change in metabolic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Ningen kyōiku no genri.Kazutoshi Miwa & Masayuki Suzuki (eds.) - 1977 - Fukumura Shuppan.
  21. Seimei no tetsugaku.Masashi Miwa (ed.) - 1981 - Tōkyō: Hatsubaimoto Gakubunsha.
     
    Export citation  
     
    Bookmark  
  22. Wakaki hi no shisaku.Zenryū Miwa - 1974
    No categories
     
    Export citation  
     
    Bookmark  
  23.  28
    Crystallographic nature of deformation bands shown in Zn and Mg-based long-period stacking ordered phase.Koji Hagihara, Michiaki Yamasaki, Masahito Honnami, Hitoshi Izuno, Masakazu Tane, Takayoshi Nakano & Yoshihito Kawamura - 2015 - Philosophical Magazine 95 (2):132-157.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Against Classical Paraconsistent Metatheory.Koji Tanaka & Patrick Girard - 2023 - Analysis 83 (2):285-294.
    There was a time when 'logic' just meant classical logic. The climate is slowly changing and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. In this paper, we will argue that this practice of relying on classical metatheories is problematic. In particular, we will show that it is a bad practice because the metatheory that is used to study a non-classical logic often rules out the very logic it (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  60
    A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Studia Logica 100 (4):753-785.
    We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Logically Impossible Worlds.Koji Tanaka - 2018 - Australasian Journal of Logic 15 (2):489.
    What does it mean for the laws of logic to fail? My task in this paper is to answer this question. I use the resources that Routley/Sylvan developed with his collaborators for the semantics of relevant logics to explain a world where the laws of logic fail. I claim that the non-normal worlds that Routley/Sylvan introduced are exactly such worlds. To disambiguate different kinds of impossible worlds, I call such worlds logically impossible worlds. At a logically impossible world, the laws (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  27.  49
    A dual process model for cultural differences in thought.Hiroshi Yama, Miwa Nishioka, Tomoko Horishita, Yayoi Kawasaki & Junichi Taniguchi - 2007 - Mind and Society 6 (2):143-172.
    Nisbett et al. claim that East Asians are likely to use holistic thought to solve problems, whereas Westerners use analytic thought more, and discuss the differences in the frame of the individualism/collectivism distinction. The holistic versus analytic distinction has been the greatest point of interest of dual process theories, which imply that human thinking has two sub processes. We apply a revised dual process model that proposes meme-acquired goals in both systems to explain cultural differences in thought. According to this, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  21
    What do we owe the newly dead? An ethical analysis of findings from Japan's corpse hotels workers.Nancy S. Jecker & Eriko Miwa - 2019 - Bioethics 33 (6):691-698.
    While people are still alive, we owe them respect. Yet what, if anything, do we owe the newly dead? This question is an urgent practical concern for aged societies, because older people die at higher rates than any other age group. One novel way in which Japan, the frontrunner of aged societies, meets its need to accommodate high numbers of newly dead is itai hoteru or corpse hotels. Itai hoteru offer families a way to wait for space in over‐crowded crematoriums (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Prior experience and communication media in establishing common ground during collaboration.Yugo Hayashi & Kazuhisa Miwa - 2009 - In N. A. Taatgen & H. van Rijn (eds.), Proceedings of the 31st Annual Conference of the Cognitive Science Society. pp. 528--531.
     
    Export citation  
     
    Bookmark   1 citation  
  30.  25
    Fragmentation of the International Humanitarian Order? Understanding “Cultures of Humanitarianism” in East Asia.Jacinta O'Hagan & Miwa Hirono - 2014 - Ethics and International Affairs 28 (4):409-424.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  21
    Web 情報検索におけるリフレクションの支援: 探索行動フィードバックシステムの構築.Miwa Kazuhisa Saito Hitomi - 2004 - Transactions of the Japanese Society for Artificial Intelligence 19:214-224.
    Recently, many opportunities have emerged to use the Internet in daily life and classrooms. However, with the growth of the World Wide Web (Web), it is becoming increasingly difficult to find target information on the Internet. In this study, we explore a method for developing the ability of users in information seeking on the Web and construct a search process feedback system supporting reflective activities of information seeking on the Web. Reflection is defined as a cognitive activity for monitoring, evaluating, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Buddhist Philosophy of Logic.Koji Tanaka - 2013 - In Emmanuel Steven Michael (ed.), Blackwell Companion to Buddhist Philosophy. Wiley-Blackwell. pp. 320-330.
    Logic in Buddhist Philosophy concerns the systematic study of anumāna (often translated as inference) as developed by Dignāga (480-540 c.e.) and Dharmakīti (600-660 c.e.). Buddhist logicians think of inference as an instrument of knowledge (pramāṇa) and, thus, logic is considered to constitute part of epistemology in the Buddhist tradition. According to the prevalent 20th and early 21st century ‘Western’ conception of logic, however, logical study is the formal study of arguments. If we understand the nature of logic to be formal, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  33
    The Accademia del Cimento and its European Context.Koji Kuwakino - 2011 - Early Science and Medicine 16 (4):366-368.
  34.  21
    A presuppositional analysis of definite descriptions in proof theory.Koji Mineshima - 2008 - In Satoh (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 214--227.
  35. How we have come to do archaeology the way(s) we do : a meta-critique of current archaeological discursive formation.Koji Mizoguchi - 2015 - In Kristian Kristiansen, Ladislav Šmejda, Jan Turek & Evžen Neustupný (eds.), Paradigm found: archaeological theory present, past and future: essays in honour of Evžen Neustupný. Oxford: Oxbow Books.
     
    Export citation  
     
    Bookmark  
  36. The AGM theory and inconsistent belief change.Koji Tanaka - 2005 - Logique Et Analyse 48 (189-192):113-150.
    The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  37. Priest’s Anti-Exceptionalism, Candrakīrti and Paraconsistency.Koji Tanaka - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 127-138.
    Priest holds anti-exceptionalism about logic. That is, he holds that logic, as a theory, does not have any exceptional status in relation to the theories of empirical sciences. Crucial to Priest’s anti-exceptionalism is the existence of ‘data’ that can force the revision of logical theory. He claims that classical logic is inadequate to the available data and, thus, needs to be revised. But what kind of data can overturn classical logic? Priest claims that the data is our intuitions about the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38. Problématique de l'institution dans la dernière philosophie de Maurice Merleau-Ponty.Koji Hirose - 2004 - Numéro Spécial des Etudes de Langues Et de Cultures, Institut de Langues Et de Cultures Modernes, Université de Tsukuba 2:400.
    CETTE THESE SE VEUT UNE CONTRIBUTION A LA COMPREHENSION DE LA DERNIERE PHILOSOPHIE DE MERLEAU-PONTY, EN PRENANT COMME FIL CONDUCTEUR LA NOTION D'INSTITUTION. NOUS ESSAYONS D'ABORD DE DELIMITER LE CHAMP D'INTERROGATION DE LA NOTION D'INSTITUTION, TELLE QU'ELLE EST PRESENTEE DANS SES DEUX PREMIERS OUVRAGES. DEUXIEMEMENT, LA DESCRIPTION DE QUATRE ORDRES DE L'INSTITUTION SYMBOLIQUE (ANIMALITE ET VIE; STYLE ARTISTIQUE; LANGUE ET IDEALITE; SYSTEME SOCIAL) QUE NOUS NOUS EFFORCONS DE RECONSTITUER A L'AIDE DES MANUSCRITS INEDITS CONDUIT A DEVOILER LES MOTIVATIONS DE LA (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. How Aristotle’s Theory of Education Has Been Studied in Our Century.Koji Tachibana - 2012 - Studia Classica 3:21-67.
  40. Neurofeedback-Based Moral Enhancement and Traditional Moral Education.Koji Tachibana - 2018 - Humana Mente 11 (33):19-42.
    Scientific progress in recent neurofeedback research may bring about a new type of moral neuroenhancement, namely, neurofeedback-based moral enhancement; however, this has yet to be examined thoroughly. This paper presents an ethical analysis of the possibility of neurofeedback-based moral enhancement and demonstrates that this type of moral enhancement sheds new light on the moral enhancement debate. First, I survey this debate and extract the typical structural flow of its arguments. Second, by applying structure to the case of neurofeedback-based moral enhancement, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  18
    パーソナルレポジトリ間の協調情報検索: Rdf を用いたパーソナルエージェントフレームワーク上への実装.Yukawa Takashi Kamei Koji - 2004 - Transactions of the Japanese Society for Artificial Intelligence 19 (4):292-299.
    In this paper, we describe a collaborative information retrieval method among personal repositorie and an implementation of the method on a personal agent framework. We propose a framework for personal agents that aims to enable the sharing and exchange of information resources that are distributed unevenly among individuals. The kernel of a personal agent framework is an RDF(resource description framework)-based information repository for storing, retrieving and manipulating privately collected information, such as documents the user read and/or wrote, email he/she exchanged, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 15--25.
    Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  43.  37
    Frankfurt-Style Cases and Moral Responsibility: A Methodological Reflection.Koji Ota - 2021 - International Journal of Philosophical Studies 29 (3):295-319.
    Frankfurt-Style Cases (FSCs) seem to elicit the intuitive judgment that an agent is morally responsible despite being unable to act otherwise, which is supposed to falsify the Principle of Alternative Possibility (PAP). Recent empirical studies have shown that the inclination toward this intuitive judgment is shared among people, which seems to reinforce the argument against the PAP. However, some scholars have argued for Descriptive Anti-Intuitionism (DAI) — intuitive judgments have never played an evidential role in philosophy — and thus denied (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  10
    Consciousness and Time: A Representationalist Approach.Koji Ota & Takeshi Sakon - 2011 - Journal of the Japan Association for Philosophy of Science 39 (1):1-11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  9
    Correction: Phylogenetic Distribution and Trajectories of Visual Consciousness: Examining Feinberg and Mallatt’s Neurobiological Naturalism.Koji Ota, Daichi G. Suzuki & Senji Tanaka - forthcoming - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie:1-1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  6
    What Is It Like to Be a Physicalist?:物理主義者であるとはどのようなことか.Koji Ota - 2019 - Kagaku Tetsugaku 52 (1):143-162.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Neurofeedback-Based Moral Enhancement and the Notion of Morality.Koji Tachibana - 2017 - The Annals of the University of Bucharest - Philosophy Series 66 (2):25-41.
    Some skeptics question the very possibility of moral bioenhancement by arguing that if we lack a widely acceptable notion of morality, we will not be able to accept the use of a biotechnological technique as a tool for moral bioenhancement. I will examine this skepticism and argue that the assessment of moral bioenhancement does not require such a notion of morality. In particular, I will demonstrate that this skepticism can be neutralized in the case of recent neurofeedback techniques. This goal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  22
    Strong normalization of classical natural deduction with disjunctions.Koji Nakazawa & Makoto Tatsuta - 2008 - Annals of Pure and Applied Logic 153 (1-3):21-37.
    This paper proves the strong normalization of classical natural deduction with disjunction and permutative conversions, by using CPS-translation and augmentations. Using them, this paper also proves the strong normalization of classical natural deduction with general elimination rules for implication and conjunction, and their permutative conversions. This paper also proves that natural deduction can be embedded into natural deduction with general elimination rules, strictly preserving proof normalization.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  23
    Riassunto: La funzione euristica della nozione filosofica.Koji Hirose - 2008 - Chiasmi International 10:137-137.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  28
    Abstract: The Heuristic Function of the Philosophical Notion.Koji Hirose - 2008 - Chiasmi International 10:137-137.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 683