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

98 found
Order:
  1.  14
    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.  13
    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
    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  
  7.  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  
  8.  51
    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   1 citation  
  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.  6
    Colin Radford (1995). An Essay On Belief And Acceptance-Cohen, Lj. Mind 104 (413):154-162.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13.  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  
  14.  4
    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  
  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.  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  
  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.  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  
  20. Alex Boston (1998). Knud Ejler Ljøgstrup, The Ethical Demand Reviewed By. Philosophy in Review 18 (5):359-360.
     
    Export citation  
     
    My bibliography  
  21. 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  
  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. Robert McNaughton (1954). Kleene S. C.. Permutability of Inferences in Gentzen's Calculi LK and LJ. Two Papers on the Predicate Calculus, by Kleene S. C. , Lithographed, Providence 1952, Pp. 1–26.Kleene S. C.. Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols. Two Papers on the Predicate Calculus, by Kleene S. C. , Lithographed, Providence 1952, Pp. 27–66.Kleene S. C.. Bibliography. Two Papers on the Predicate Calculus, by Kleene S. C. , Lithographed, Providence 1952, Pp. 67–68.Craig William. On Axiomatizability Within a System. [REVIEW] Journal of Symbolic Logic 19 (1):62-63.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. 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  
  30. 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  
  31. Rózsa Péter (1939). Curry H. B.. A Note on the Reduction of Gentzen's Calculus LJ. Bulletin of the American Mathematical Society, Bd. 45 , S. 288–293. [REVIEW] Journal of Symbolic Logic 4 (3):128.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. 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  
  33. 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  
  34. 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  
  35. John van Heijenoort (1957). Gentzen Gerhard. Recherches Sur la Déduction Logique. French Translation of 4422 by Ladrière Jean, with Added Footnotes by the Translator. Presses Universitaires de France, Paris 1955, XI + 170 Pp.Feys Robert. Préface. Therein, Pp. VII–XI.Feys Robert. Note A. Les Méthodes de Déduction Naturelle. Therein, Pp. 1–2.Feys Robert. Note B. Notation Explicite des Suppositions. Therein, Pp. 29–34.Feys Robert. Note C. Méthodes N de Jaśkowski, Bernays Et Johannson. Therein Pp. 35–39.Feys Robert. Note D. Variantes des Calculs LK Et LJ. Therein, Pp. 77–83.Ladrière Jean. Note E. Un Calcul “MK” Analogue au Calcul NK. Therein, Pp. 84–89.Feys Robert. Note F. Signification des Séquences Et des Schémas de Structure. Therein, Pp. 90–92.Ladriére Jean. Note G. Les Schémas de Coupure Et de Fusion de Séquences. Therein, Pp. 93–97.Ladriére Jean. Note H. Tableau de la Démonstration du Théorème Fondamental. Therein, Pp. 98–100.Ladriére Jean. Note I. Marche de la Démonstration du Théorème Fondamental. Therein, Pp. [REVIEW] Journal of Symbolic Logic 22 (4):350-351.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. J. van Heijenoort (1971). Minc G. É.. Dizúnktivnaá Intérprétaciá Isčisléniá LJ. Isslédovaniá Po Konstruktivnoj Matématiké I Matématičéskoj Logiké, II, Edited by Slisénko A. O., Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta Im. V. A. Stéklova AN SSSR, Vol. 8, Izdatél′Stvo “Nauka,” Leningrad 1968, Pp. 182–188.Mints G. E.. Disjunctive Interpretation of the LJ Calculus. English Translation of the Preceding. Studies in Constructive Mathematics and Mathematical Logic, Part II, Edited by Slisenko A. O., Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, Vol. 8, Consultants Bureau, New York-London 1970, Pp. 86–89. [REVIEW] Journal of Symbolic Logic 36 (3):527-528.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  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  
  38.  54
    Alessandro Giordani (2015). 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  
  39. 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.
  40.  17
    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   6 citations  
  41.  58
    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  
  42.  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  
  43.  10
    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   10 citations  
  44.  21
    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  
  45.  3
    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  
  46.  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 (7 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  47.  66
    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  
  48.  3
    Angélique Oj Cramer, Lourens J. Waldorp, Han Lj van der Maas & Denny Borsboom (2010). Complex Realities Require Complex Theories: Refining and Extending the Network Approach to Mental Disorders. Behavioral and Brain Sciences 33 (2-3):178-193.
    The majority of commentators agree on one thing: Our network approach might be the prime candidate for offering a new perspective on the origins of mental disorders. In our response, we elaborate on refinements (e.g., cognitive and genetic levels) and extensions (e.g., to Axis II disorders) of the network model, as well as discuss ways to test its validity.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  18
    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   2 citations  
  50.  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  
1 — 50 / 98