Search results for 'LJ Koskela' (try it on Scholar)

92 found
Order:
  1.  13
    Ivana Pešić, Janković-Veličković Lj, Dragana Stokanović & Irena Dimov (2007). Urinary and Tissue Biomarkers in Early Detection of Upper Urothelial Tract Cancer. Facta Universitatis 14 (2):47-52.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  12
    Snežana Živanović, Šaranac Lj & Gordana Kostić (2008). The Case of Pseudo-Bartter's Syndrome: An Atypical Presentation of Cystic Fibrosis. Facta Universitatis 15 (1):33-36.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  2
    Harris Lj & J. B. Almerigi (2005). The Left-Side Bias for Holding Human Infants: An Everyday Directional Asymmetry in the Natural Environment. Behavioral and Brain Sciences 28 (4).
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. Timo Järvilehto, Veli-Matti Nurkkala & Kyösti Koskela (2009). The Role of Anticipation in Reading. Pragmatics and Cognitionpragmatics and Cognition 17 (3):509-526.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Card No Lj (1994). Subscription Order Form. In Stephen Everson (ed.), Language. Cambridge University Press 108.
     
    Export citation  
     
    My bibliography  
  6.  1
    Norihiro Kamide (2011). Notes on Craig Interpolation for LJ with Strong Negation. Mathematical Logic Quarterly 57 (4):395-399.
    The Craig interpolation theorem is shown for an extended LJ with strong negation. A new simple proof of this theorem is obtained. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  7. Wagner de Campos Sanz (2007). A Note On Gentzen's Lj And Nj Systems Isomorphism. Logic Journal of the IGPL 15 (5-6):767-774.
    In this paper we are going to examine intuitionistic sequent calculus and its negation rules. We state new negation rules defining, in this way, a new sequent system. It will be used to clarify Gentzen's NJ and LJ systems isomorphism. These new negation rules are a direct reading of new natural deduction negation rules obtained by a slight modification of NJ rules. We also show that the new system is equivalent to LJ and that the Hauptsatz holds for it.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  50
    Hiroshi Aoyama (2004). LK, LJ, Dual Intuitionistic Logic, and Quantum Logic. Notre Dame Journal of Formal Logic 45 (4):193-213.
    In this paper, we study the relationship among classical logic, intuitionistic logic, and quantum logic . These logics are related in an interesting way and are not far apart from each other, as is widely believed. The results in this paper show how they are related with each other through a dual intuitionistic logic . Our study is completely syntactical.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9.  9
    L. J. Taylor & S. Lev Ari (2009). Action in Cognition: The Case of Language. Language and Cognition, 1, 45-58. Taylor, LJ & Zwaan, RA (2008). Motor Resonance and Linguistic. [REVIEW] Cognition 115:39-45.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10. M. D. Mumford, W. A. Baughman, M. A. Maher, D. P. Costanza & E. P. Supinski (1997). Process-Based Measures of Creative Problem-Solving Skills: IV. Category Combination. Creativity Research Rips, LJ (1995). The Current Status of Research on Concept Combination. [REVIEW] Mind and Language 10:72-104.
     
    Export citation  
     
    My bibliography  
  11. Thomas Lemke, Theo Papaioannou, Lyn Turney, Elina Hemminki, Aaro Tupasela, Piia Jallinoja, Arja J. Aro, Karoliina Snell, Sinikka Sihvo & Almut Caspary (2009). By Rens Lj Vandenberg & Wouter Pc Boon 1-21. Genomics, Society and Policy 5 (2).
    No categories
     
    Export citation  
     
    My bibliography  
  12.  15
    Branislav R. Boričić (1988). A Note on Sequent Calculi Intermediate Between LJ and LK. Studia Logica 47 (2):151 - 157.
    We prove that every finitely axiomatizable extension of Heyting's intuitionistic logic has a corresponding cut-free Gentzen-type formulation. It is shown how one can use this result to find the corresponding normalizable natural deduction system and to give a criterion for separability of considered logic. Obviously, the question how to obtain an effective definition of a sequent calculus which corresponds to a concrete logic remains a separate problem for every logic.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  13.  2
    G. Hunt (1995). Book Reviews : DuBose ER, Hamel R, O'Connell LJ Eds 1994: A Matter of Principles? Ferment in US Bioethics. Valley Forge, PA: Trinity Press International. 381pp. 22.50 . ISBN 1 56338 081 1. [REVIEW] Nursing Ethics 2 (4):353-354.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  5
    Colin Radford (1995). An Essay On Belief And Acceptance-Cohen, Lj. Mind 104 (413):154-162.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15. Lawrence C. Becker (1982). LJ Macfarlane, The Right to Strike Reviewed By. Philosophy in Review 2 (2/3):116-116.
    No categories
     
    Export citation  
     
    My bibliography  
  16.  3
    T. Powell (1995). Religion, Race, and Reason: The Case of LJ. Journal of Clinical Ethics 6 (1):73.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  17.  3
    Jaakko Hintikka (1996). Former Presidents: LJ COHEN, The Queen's College, Oxford OXl 4AW, UK. Synthese 106:431-443.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  18.  2
    J. V. Pickstone (1988). Lamarck, by LJ Jordanova; Science and Medicine in France: The Emergence of Experimental Physiology 1790? 1855, by John E. Lesch; Death is a Social Disease: Public Health and Political Economy in Early Industrial France, by William Coleman; and Georges Cuvier: Vocation, Science and Authority in Post-Revolutionary France, by Dorinda Outram. [REVIEW] History of Science 26:201-211.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  19. H. B. Curry (1939). A Note on the Reduction of Gentzen's Calculus LJ. Journal of Symbolic Logic 4 (3):128-128.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  4
    Kenneth A. Bowen (1976). An Herbrand Theorem for Prenex Formulas of LJ. Notre Dame Journal of Formal Logic 17 (2):263-266.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  21. Alex Boston (1998). Knud Ejler Ljøgstrup, The Ethical Demand Reviewed By. Philosophy in Review 18 (5):359-360.
     
    Export citation  
     
    My bibliography  
  22.  1
    J. van Heijenoort (1971). Review: G. E. Mints, A. O. Slisenko, Disjunctive Interpretation of the LJ Calculus. [REVIEW] Journal of Symbolic Logic 36 (3):527-528.
    Direct download  
     
    Export citation  
     
    My bibliography  
  23.  1
    Rozsa Peter (1939). Review: H. B. Curry, A Note on the Reduction of Gentzen's Calculus LJ. [REVIEW] Journal of Symbolic Logic 4 (3):128-128.
    Direct download  
     
    Export citation  
     
    My bibliography  
  24.  1
    A. Dula (1995). LJ's religous craziness. Journal of Clinical Ethics 6 (1):77.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  25. E. R. Dubose & R. Hamel (forthcoming). E O'Connel, LJ (Eds.)-A Matter of Principles. Ferment in Us Bioethics. Valley Farge (Pa): Trinity Press International.
    No categories
     
    Export citation  
     
    My bibliography  
  26. L. Garland (1999). Spatantike mit einem Panorama der Byzantinischen Literatur. LJ Engels, H Hofmann(edd.). The Classical Review 49 (1):100-102.
    Translate
     
     
    Export citation  
     
    My bibliography  
  27. P. Martin-Lof & G. Mints (1991). Cambridge, Mass., 1967.[Kle52a] SC Kleene. Introduction to Metamathematics. North-Holland, Amsterdam, 1952.[Kle52b] SC Kleene. Permutability of Inferences in Gentzen's Calculi LK and LJ. Memoirs of the AMS, 10, 1952.[KW84] J. Ketonen and R. Weyhrauch. A Decidable Fragment of Predicate Calculus. The Journal. [REVIEW] Annals of Pure and Applied Logic 51:125-157.
     
    Export citation  
     
    My bibliography  
  28. J. M. Pinard, J. Motte, C. Chiron, R. Brian & E. Andermann (2004). Pearlman, AL, PL Faust, ME Hatten, and JE Brunstrom, 1998. New Directions for Neuronal Migration. Curr. Opin. Neuro-Biol. 8: 5-54. Pencea, V, KD Bingaman, LJ Freedman, and MB Luskin, 2001. Neurogenesis in the Subventricular Zone and Rostral Migra. [REVIEW] In Michael S. Gazzaniga (ed.), The Cognitive Neurosciences Iii. MIT Press 64.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  29. Jm Pinard, J. Motte, С Chiron, R. Brian, E. Andermann, O. Reiner, R. Carrozzo, Y. Shen, M. Wehnert & F. Fausttnella (2004). PENCEA, V, KD BÍNGAMAN, LJ FREEDMAN, and MB LUSKIN, 200 1. Neurogenesis in the Subventricular Zone and Rostral Migra-Tory Stream of the Neonatal and Adult Primate Forebrain. Exp. Neural. 172: 1-16. [REVIEW] In Michael S. Gazzaniga (ed.), The Cognitive Neurosciences Iii. MIT Press 64.
    No categories
     
    Export citation  
     
    My bibliography  
  30. Through Guinea Pig Skin (1968). Lj Vinson, Ph. D., Ej Singer, Ph. D., and Vf Borselli, Bs. In Peter Koestenbaum (ed.), Proceedings. [San Jose? Calif.
     
    Export citation  
     
    My bibliography  
  31. Franco Trabattoni (2004). LJ Jost-RA Shiner (Eds.), Eudaimonia and Well-Being. Ancient and Modern Conceptions,«Apeiron», XXXV (2002). Elenchos 25 (1):159-168.
    No categories
     
    Export citation  
     
    My bibliography  
  32. K. Tuori (2002). Legislation Between Politics and Law 'in LJ Wintgens'. In Luc Wintgens (ed.), Legisprudence: A New Theoretical Approach to Legislation. Hart
     
    Export citation  
     
    My bibliography  
  33.  53
    Alessandro Giordani (2016). A New Framework for Justification Logic. Journal of Applied Non-Classical Logics 25 (4):308-323.
    The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited. The paper is subdivided into three sections. The first section offers an introduction to a basic system LJ of justification logic and to the problems concerning its interpretation. (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  34.  2
    L. J. Lj Kamin (1974). The Science and Politics of I.Q. Social Research 41 (3):387.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   283 citations  
  35. Lj Tippett & Mj Farah (1992). A Model of Naming in Alzheimers-Disease-Unitary or Multiple Impairments. Bulletin of the Psychonomic Society 30 (6):444-444.
  36.  57
    Chuck Liang & Dale Miller (2013). Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic. Annals of Pure and Applied Logic 164 (2):86-111.
    We combine intuitionistic logic and classical logic into a new, first-order logic called polarized intuitionistic logic. This logic is based on a distinction between two dual polarities which we call red and green to distinguish them from other forms of polarization. The meaning of these polarities is defined model-theoretically by a Kripke-style semantics for the logic. Two proof systems are also formulated. The first system extends Gentzenʼs intuitionistic sequent calculus LJ. In addition, this system also bears essential similarities to Girardʼs (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37.  9
    Igor Urbas (1996). Dual-Intuitionistic Logic. Notre Dame Journal of Formal Logic 37 (3):440-451.
    The sequent system LDJ is formulated using the same connectives as Gentzen's intuitionistic sequent system LJ, but is dual in the following sense: (i) whereas LJ is singular in the consequent, LDJ is singular in the antecedent; (ii) whereas LJ has the same sentential counter-theorems as classical LK but not the same theorems, LDJ has the same sentential theorems as LK but not the same counter-theorems. In particular, LDJ does not reject all contradictions and is accordingly paraconsistent. To obtain a (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  38.  20
    Arnon Avron (2005). A Non-Deterministic View on Non-Classical Negations. Studia Logica 80 (2-3):159 - 194.
    We investigate two large families of logics, differing from each other by the treatment of negation. The logics in one of them are obtained from the positive fragment of classical logic (with or without a propositional constant ff for “the false”) by adding various standard Gentzen-type rules for negation. The logics in the other family are similarly obtained from LJ+, the positive fragment of intuitionistic logic (again, with or without ff). For all the systems, we provide simple semantics which is (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  39.  56
    Isabelle Budin-Ljøsne (2012). A Review of Ethical Frameworks for the Disclosure of Individual Research Results in Population-Based Genetic and Genomic Research. [REVIEW] Research Ethics 8 (1):25-42.
    Individual research results from population-based genetic and genomic research are traditionally not disclosed to research participants. Current practices of non-disclosure are, however, being challenged by an increasing number of scientists, ethicists and policy-makers who make arguments in favour of disclosing at least individual results of potential health or lifestyle significance to research participants. Simultaneously, research participants are expressing greater interest in accessing their results. This article first provides an overview of main arguments for and against the disclosure of individual research (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  40.  16
    Angélique Oj Cramer, Lourens J. Waldorp, Han Lj van der Maas & Denny Borsboom (2010). Comorbidity: A Network Perspective. Behavioral and Brain Sciences 33 (2-3):137-150.
    The pivotal problem of comorbidity research lies in the psychometric foundation it rests on, that is, latent variable theory, in which a mental disorder is viewed as a latent variable that causes a constellation of symptoms. From this perspective, comorbidity is a (bi)directional relationship between multiple latent variables. We argue that such a latent variable perspective encounters serious problems in the study of comorbidity, and offer a radically different conceptualization in terms of a network approach, where comorbidity is hypothesized to (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  41.  15
    Vincent Danos, Jean-Baptiste Joinet & Harold Schellinx (1997). A New Deconstructive Logic: Linear Logic. Journal of Symbolic Logic 62 (3):755-807.
    The main concern of this paper is the design of a noetherian and confluent normalization for LK 2. The method we present is powerful: since it allows us to recover as fragments formalisms as seemingly different as Girard's LC and Parigot's λμ, FD, delineates other viable systems as well, and gives means to extend the Krivine/Leivant paradigm of `programming-with-proofs' to classical logic ; it is painless: since we reduce strong normalization and confluence to the same properties for linear logic using (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  42.  1
    Isabelle Budin-Ljøsne & Jennifer R. Harris (2016). Patient and interest organizations’ views on personalized medicine: a qualitative study. BMC Medical Ethics 17 (1):1.
    Personalized medicine aims to tailor disease prevention, diagnosis, and treatment to individuals on the basis of their genes, lifestyle and environments. Patient and interest organizations may potentially play an important role in the realization of PM. This paper investigates the views and perspectives on PM of a variety of PIOs. Semi-structured telephone interviews were conducted among leading representatives of 13 PIOs located in Europe and North-America. The data collected were analysed using a conventional content analysis approach. The PIO representatives supported (...)
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43.  65
    Henry Africk (1992). Classical Logic, Intuitionistic Logic, and the Peirce Rule. Notre Dame Journal of Formal Logic 33 (2):229-235.
    A simple method is provided for translating proofs in Grentzen's LK into proofs in Gentzen's LJ with the Peirce rule adjoined. A consequence is a simpler cut elimination operator for LJ + Peirce that is primitive recursive.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  44.  20
    Uwe Egly (2001). On Different Intuitionistic Calculi and Embeddings From Int to S. Studia Logica 69 (2):249-277.
    In this paper, we compare several cut-free sequent systems for propositional intuitionistic logic Intwith respect to polynomial simulations. Such calculi can be divided into two classes, namely single-succedent calculi (like Gentzen's LJ) and multi-succedent calculi. We show that the latter allow for more compact proofs than the former. Moreover, for some classes of formulae, the same is true if proofs in single-succedent calculi are directed acyclic graphs (dags) instead of trees. Additionally, we investigate the effect of weakening rules on the (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45.  6
    S. Najman, Lj Dordevic, V. Savic, N. Ignjatovic, M. Plavsic & D. Uskokovic (2003). Changes of HAp/PLLA Biocomposites and Tissue Reaction After Subcutaneous Implantation. Facta Universitatis 10:131-134.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  46.  6
    Gordana Kostić, Zlatko Đurić, Gordana Bunjevački, Mačukanović-Golubović L. Šaranac Lj & B. Kamenov (2004). Bone Changes, Mineral Homeostasis in Childhood Acute Lymphoblastic Leukemia. Facta Universitatis 11 (3):123-126.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  47.  14
    G. S. Asanov (1983). Gravitational Field Equations Based on Finsler Geometry. Foundations of Physics 13 (5):501-527.
    The analysis of a previous paper (see Ref. 1), in which the possibility of a Finslerian generalization of the equations of motion of gravitational field sources was demonstrated, is extended by developing the Finslerian generalization of the gravitational field equations on the basis of the complete contractionK = K lj lj of the Finslerian curvature tensorK l j hk (x, y). The relevant Lagrangian is constructed by the replacement of the directional variabley i inK by a vector fieldy i (x), (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  48.  20
    Joseph Agassi, Joseph Agassi.
    Analogies have been traditionally recognized as a proper part of inductive procedures, akin to generalizations. Seldom, however, have they been presented as superior to generalizations, in the attainability of a higher degree of certitude for their conclusions or in other respects. Though Bacon de6nitely preferred analogy to generalization~, the tradition seems to me to go the other way — until the recent publication of works by Mary B. Hesse {[2], pp. 21-28 and passim) and, perhaps, R. Harre {[lj, pp. 23-28 (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  49.  17
    Romà J. Adillon & Ventura Verdú (2000). On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion. Studia Logica 65 (1):11-30.
    In this paper we prove the equivalence between the Gentzen system G LJ*\c , obtained by deleting the contraction rule from the sequent calculus LJ* (which is a redundant version of LJ), the deductive system IPC*\c and the equational system associated with the variety RL of residuated lattices. This means that the variety RL is the equivalent algebraic semantics for both systems G LJ*\c in the sense of [18] and [4], respectively. The equivalence between G LJ*\c and IPC*\c is a (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  50.  8
    Lusina Ho & P. St J. Smart (2001). Re‐Interpreting the Quistclose Trust: A Critique of Chambers' Analysis. Oxford Journal of Legal Studies 21 (2):267-285.
    Dr Robert Chambers has recently argued that a loan on Quistclose terms does not actually create a trust, but rather the borrower receives the entire beneficial ownership of the funds subject only to a contractual right (enforceable by an injunction) on the part of the lender to prevent the loan being employed other than for the specified purpose. Chambers' approach, or at least something broadly similar, has received some obiter support from Potter LJ in Twinsectra Ltd v. Yardley. This article (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 92