Search Results

Tensions and Paradoxes in Electronic Patient Record Research: A Systematic Literature Review Using the Meta-narrative Method

Authors: GREENHALGH, TRISHA; POTTS, HENRY W.W.; WONG, GEOFF; BARK, PIPPA; SWINGLEHURST, DEBORAH

Source: The Milbank Quarterly, Volume 87, Number 4, December 2009 , pp. 729-788(60)

Publisher: Blackwell Publishing

Toward a transcending conceptualization of relationship: a service-dominant logic perspective

Author: Vargo, Stephen L.

Source: The Journal of Business and Industrial Marketing, Volume 24, Numbers 5-6, 2009 , pp. 373-379(7)

Publisher: Emerald Group Publishing Limited

Parametric downconversion and optical quantum gates: two's company, four's a crowd

Authors: Barbieri, M.; Weinhold, T. J.; Lanyon, B. P.; Gilchrist, A.; Resch, K. J.; Almeida, M. P.; White, A. G.

Source: Journal of Modern Optics, Volume 56, Numbers 2-3, January 2009 , pp. 209-214(6)

Publisher: Taylor and Francis Ltd

Hyperintensions

Author: Pollard, Carl

Source: Journal of Logic and Computation, Volume 18, Number 2, 16 April 2008 , pp. 257-282(26)

Publisher: Oxford University Press

Expression, Truth, Predication, and Context: Two Perspectives

Author: Higginbotham, James

Source: International Journal of Philosophical Studies, Volume 16, Number 4, October 2008 , pp. 473-494(22)

Publisher: Routledge, part of the Taylor & Francis Group

Logical Extensions of Aristotle's Square

Authors: Luzeaux, Dominique; Sallantin, Jean; Dartnell, Christopher

Source: Logica Universalis, Volume 2, Number 1, March 2008 , pp. 167-187(21)

Publisher: Springer

2. De Anima III.1 42527

Author: Gregoric, Pavel

Source: Aristotle on the Common Sense, May 2007 , pp. 69-83(15)

Publisher: Oxford Scholarship Online Monographs

What Comes After the Prestige Disaster? An Entropic Approach to Modeling the Recurrence of Major Oil Tanker Spills in Galicia

Authors: Solana-Ortega, Alberto; Solana, Vicente

Source: Risk Analysis, Volume 27, Number 4, August 2007 , pp. 901-920(20)

Publisher: Blackwell Publishing

Verification of FPGA Layout Generators in Higher-Order Logic

Author: Pell, Oliver

Source: Journal of Automated Reasoning, Volume 37, Numbers 1-2, August 2006 , pp. 117-152(36)

Publisher: Springer

Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood

Authors: Shramko, Yaroslav; Wansing, Heinrich

Source: Journal of Logic, Language and Information, Volume 15, Number 4, November 2006 , pp. 403-424(22)

Publisher: Springer

Epsilon Calculi

Author: Slater, Barry Hartley

Source: Logic Journal of the IGPL, Volume 14, Number 4, August 2006 , pp. 535-590(56)

Publisher: Oxford University Press

1. Introduction

Authors: French, Steven; Krause, Décio

Source: Identity in Physics, June 2006 , pp. 1-22(22)

Publisher: Oxford Scholarship Online Monographs

Probability Dynamics

Author: Nathan, Amos

Source: Synthese, Volume 148, Number 1, January 2006 , pp. 229-256(28)

Publisher: Springer

Genes Induced by Reovirus Infection Have a Distinct Modular Cis- Regulatory Architecture

Authors: Lapadat, R.; DeBiasi, R. L.; Johnson, G. L.; Tyler, K. L.; Shah, I.

Source: Current Genomics, Volume 6, Number 7, November 2005 , pp. 501-513(13)

Publisher: Bentham Science Publishers

Completeness and Cut-elimination in the Intuitionistic Theory of Types

Authors: DeMarco, Mary; Lipton, Jame

Source: Journal of Logic and Computation, Volume 15, Number 6, December 2005 , pp. 821-854(34)

Publisher: Oxford University Press

Prolegomena to Dynamic Logic for Belief Revision

Author: Ditmarsch, Hans

Source: Synthese, Volume 147, Number 2, November 2005 , pp. 229-275(47)

Publisher: Springer

Formalization of Fixed-Point Arithmetic in HOL

Authors: Akbarpour, Behzad; Tahar, Sofiène; Dekdouk, Abdelkader

Source: Formal Methods in System Design, Volume 27, Numbers 1-2, September 2005 , pp. 173-200(28)

Publisher: Springer

Full Text

Author: Shapiro, Stewart

Source: The Oxford Handbook of Philosophy of Mathematics and Logic, March 2005 , pp. i-833(0)

Publisher: Oxford Scholarship Online Monographs

Higher-order Logic

Author: Shapiro, Stewart

Source: The Oxford Handbook of Philosophy of Mathematics and Logic, March 2005 , pp. 751-781(31)

Publisher: Oxford Scholarship Online Monographs

Higher-order Logic Reconsidered

Author: Jané, Ignacio

Source: The Oxford Handbook of Philosophy of Mathematics and Logic, March 2005 , pp. 781-833(53)

Publisher: Oxford Scholarship Online Monographs