Results for 'M. E. Szabo'

1000+ found
Order:
See also
  1.  10
    “On the plausibility of nonstandard proofs in analysis”.M. E. Szabo E. J. Farkas - 1984 - Dialectica 38 (4):297-310.
    SummaryWe present a systematic discussion of the structural and conceptual simplifications of proofs of standard theorems afforded by nonstandard methods and examine to what extent the resulting nonstandard proofs satisfy the informal criterion of “plausibility”. We introduce the concept of a “standard detour” and show that all nonstandard proofs considered avoid such detours. Among the proofs examined are proofs of the Intermediate Value Theorem, the Riemann Integration Theorem, the Spectral Theorem for compact Hermitian operators, and the Arzela‐Ascoli Theorem.RésuméNous discutons systématiquement (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  31
    Algebra of proofs.M. E. Szabo - 1978 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    Provability, Computability and Reflection.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3.  16
    A cut elimination theorem for stationary logic.M. E. Szabo - 1987 - Annals of Pure and Applied Logic 33 (C):181-193.
  4.  18
    The continuous realizability of entailment.M. E. Szabo - 1983 - Mathematical Logic Quarterly 29 (4):219-233.
  5.  30
    Coherence in cartesian closed categories and the generality of proofs.M. E. Szabo - 1989 - Studia Logica 48 (3):285 - 297.
    We introduce the notion of an alphabetic trace of a cut-free intuitionistic prepositional proof and show that it serves to characterize the equality of arrows in cartesian closed categories. We also show that alphabetic traces improve on the notion of the generality of proofs proposed in the literature. The main theorem of the paper yields a new and considerably simpler solution of the coherence problem for cartesian closed categories than those in [11, 14].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  33
    Variable truth.M. E. Szabo - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):401-414.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  28
    Investigations into Logical Deduction.Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144-145.
    Direct download  
     
    Export citation  
     
    Bookmark   41 citations  
  8.  35
    Nonstandard methods in combinatorics and theoretical computer science.M. M. Richter & M. E. Szabo - 1988 - Studia Logica 47 (3):181 - 191.
  9.  12
    “On the plausibility of nonstandard proofs in analysis”.E. J. Farkas & M. E. Szabo - 1984 - Dialectica 38 (4):297-310.
  10.  6
    On the programs-as-formulas interpretation of parallel programs in peano arithmetic.E. J. Farkas & M. E. Szabo - 1988 - Annals of Pure and Applied Logic 37 (2):111-127.
  11.  25
    F. William Lawvere. Introduction to part I. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 3–14. - Orville Keane. Abstract Horn theories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 15–50. - Hugo Volger. Completeness theorem for logical categories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 51–86. - Hugo Volger. Logical categories, semantical categories and topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. [REVIEW]M. E. Szabo - 1981 - Journal of Symbolic Logic 46 (1):158-161.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  10
    Review: F. William Lawvere, C. Maurer, Model Theory and Topai. [REVIEW]M. E. Szabo - 1981 - Journal of Symbolic Logic 46 (1):158-161.
  13.  17
    Investigations into Logical Deduction.Introduction.John Riser, Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144.
  14. On Reichenbach's common cause principle (vol 50, pg 388, 1999).G. Hofer-Szabo, M. Redei & L. E. Szabo - 1999 - British Journal for the Philosophy of Science 50 (4):791-791.
     
    Export citation  
     
    Bookmark  
  15.  27
    Financial Impact of Incentive Spirometry.Adam E. M. Eltorai, Grayson L. Baird, Joshua Pangborn, Ashley Szabo Eltorai, Valentin Antoci, Katherine Paquette, Kevin Connors, Jacqueline Barbaria, Kimberly J. Smeals, Barbara Riley, Shyam A. Patel, Saurabh Agarwal, Terrance T. Healey, Corey E. Ventetuolo, Frank W. Sellke & Alan H. Daniels - 2018 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 55:004695801879499.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  70
    BDNF mediates improvements in executive function following a 1-year exercise intervention.Regina L. Leckie, Lauren E. Oberlin, Michelle W. Voss, Ruchika S. Prakash, Amanda Szabo-Reed, Laura Chaddock-Heyman, Siobhan M. Phillips, Neha P. Gothe, Emily Mailey, Victoria J. Vieira-Potter, Stephen A. Martin, Brandt D. Pence, Mingkuan Lin, Raja Parasuraman, Pamela M. Greenwood, Karl J. Fryxell, Jeffrey A. Woods, Edward McAuley, Arthur F. Kramer & Kirk I. Erickson - 2014 - Frontiers in Human Neuroscience 8.
  17.  24
    Review: M. E. Szabo, Algebra of Proofs. [REVIEW]G. E. Minc - 1982 - Journal of Symbolic Logic 47 (4):904-907.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  37
    Szabo M. E.. Algebra of proofs. Studies in logic and the foundations of mathematics, vol. 88. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xii + 297 pp. [REVIEW]G. E. Minc - 1982 - Journal of Symbolic Logic 47 (4):904-907.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  78
    A local hidden variable theory for the GHZ experiment.Laszlo E. Szabo & Arthur Fine - 2002 - Physics Letters A 295:229–240.
    A recent analysis by de Barros and Suppes of experimentally realizable GHZ correlations supports the conclusion that these correlations cannot be explained by introducing local hidden variables. We show, nevertheless, that their analysis does not exclude local hidden variable models in which the inefficiency in the experiment is an effect not only of random errors in the detector equipment, but is also the manifestation of a pre-set, hidden property of the particles ("prism models"). Indeed, we present an explicit prism model (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  20.  27
    Intrinsic, Extrinsic, and the Constitutive A Priori.László E. Szabó - 2020 - Foundations of Physics 50 (6):555-567.
    On the basis of what I call physico-formalist philosophy of mathematics, I will develop an amended account of the Kantian–Reichenbachian conception of constitutive a priori. It will be shown that the features attributed to a real object are not possessed by the object as a “thing-in-itself”; they require a physical theory by means of which these features are constituted. It will be seen that the existence of such a physical theory implies that a physical object can possess a property only (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Topics in the Philosophy of Biology.M. Grene & E. Mendelsohn - 1978 - Tijdschrift Voor Filosofie 40 (1):150-150.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  22.  6
    Het Gods- en mensbegrip in de theologie van Wolfhart Pannenberg: een schets van de ontwikkeling van zijn theologie vanaf 1953 tot 1979.M. E. Brinkman - 1979 - Kampen: Kok.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. ha-Shofar ha-gadol.M. E. Efrati - 1938 - Tel-Aviv: [Ḥ. Mo. L..
     
    Export citation  
     
    Bookmark  
  24.  2
    Otkryvai︠a︡ Grushina.M. E. Anikina & V. M. Khrulʹ (eds.) - 2010 - Moskva: MGU.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  47
    M. E. Szabo. Biographical sketch. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. vii–viii. - M. E. Szabo. Introduction. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 1–28. - Gerhard Gentzen. On the existence of independent axiom systems for infinite sentence systems. Englische Übersetzung von 4427. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 29–52. - Gerhard Gentzen. On the relation between intuitionist and classical arithmetic. Englische Übersetzung des Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik . The collected papers of Gerhard Gentz. [REVIEW]K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
  26. A sketch of man's origin, aim and destiny.M. E. M. & E. M. (eds.) - 1904 - Philadelphia,: Press of International printing co..
    No categories
     
    Export citation  
     
    Bookmark  
  27.  57
    On the Persistence of the Electromagnetic Field.Márton Gömöri & László E. Szabó - 2019 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 50 (1):43-61.
    According to the standard realistic interpretation of classical electrodynamics, the electromagnetic field is conceived as a real physical entity existing in space and time. The problem we address in this paper is how to understand this spatiotemporal existence, that is, how to describe the persistence of a field-like physical entity like electromagnetic field. First, we provide a formal description of the notion of persistence: we derive an “equation of persistence” constituting a necessary condition that the spatiotemporal distributions of the fundamental (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  28.  42
    Ecrits: A Selection.M. E. Ragland Sullivan, Jacques Lacan & Alan Sheridan - 1978 - Substance 6 (21):166.
  29.  13
    The Oxford handbook of feminist theory.Lisa Jane Disch & M. E. Hawkesworth (eds.) - 2016 - New York: Oxford University Press.
    The Oxford Handbook of Feminist Theory provides an overview of the analytical frameworks and theoretical concepts feminist theorists have developed to challenge established knowledge. Leading feminist theorists, from around the globe, provide in-depth explorations of a diverse array of subject areas, capturing a plurality of approaches. The Handbook raises new questions, brings new evidence, and poses significant challenges across the spectrum of academic disciplines, demonstrating the interdisciplinary nature of feminist theory.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  30. Experimental Study of Phantom Colours in a Colour Blind Synaesthete.M. Hochel, E. Milan, A. Gonzalez & F. Tornay - 2007 - Journal of Consciousness Studies 14 (4):75-95.
    Synaesthesia is a condition in which one type of stimulation evokes the sensation of another, as when the hearing of a sound produces photisms, i.e. mental percepts of colours. R is a 20 year old colour blind subject who, in addition to the relatively common grapheme-colour synaesthesia, presents a rarely reported cross modal perception in which a variety of visual stimuli elicit aura-like percepts of colour. In R, photisms seem to be closely related to the affective valence of stimuli and (...)
     
    Export citation  
     
    Bookmark  
  31.  81
    A serbo-byzantine betrothal ring.F. M. Heichelheim & H. A. Hickl-Szabo - 1965 - Journal of the Warburg and Courtauld Institutes 28 (1):317-319.
  32.  75
    The Basic Works of Aristotle. [REVIEW]E. A. M. - 1941 - Journal of Philosophy 38 (20):553-555.
  33.  55
    Intention, Plans, and Practical Reason.Hugh J. McCann & M. E. Bratman - 1991 - Noûs 25 (2):230.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   362 citations  
  34.  37
    Effect of social support on informed consent in older adults with Parkinson disease and their caregivers.M. E. Ford, M. Kallen, P. Richardson, E. Matthiesen, V. Cox, E. J. Teng, K. F. Cook & N. J. Petersen - 2008 - Journal of Medical Ethics 34 (1):41-47.
    PURPOSE: To evaluate the effects of social support on comprehension and recall of consent form information in a study of Parkinson disease patients and their caregivers.DESIGN and METHODS: Comparison of comprehension and recall outcomes among participants who read and signed the consent form accompanied by a family member/friend versus those of participants who read and signed the consent form unaccompanied. Comprehension and recall of consent form information were measured at one week and one month respectively, using Part A of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  47
    Open questions related to the problem of Birkhoff and Maltsev.M. E. Adams, K. V. Adaricheva, W. Dziobiak & A. V. Kravchenko - 2004 - Studia Logica 78 (1):357-378.
    The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  36. Cognitive mechanisms for revenge and forgiveness.M. E. McCullough, R. Kurzban & B. A. Tabak - forthcoming - Behavioral and Brain Sciences.
     
    Export citation  
     
    Bookmark  
  37.  40
    A note on the axiomatization of equational classes of $n$-valued Ł ukasiewicz algebras.M. E. Adams & R. Cignoli - 1990 - Notre Dame Journal of Formal Logic 31 (2):304-307.
  38. Alexandru Marcoci.Misc M.&E. - 2005 - Dialogue and Universalism 15 (5-6).
    No categories
     
    Export citation  
     
    Bookmark  
  39.  42
    Transplantation using lung lobes from living donors.M. E. Hodson - 2000 - Journal of Medical Ethics 26 (6):419-421.
    IntroductionAt present, in the UK, live lobe donation of the lung is generally considered in the context of patients with cystic fibrosis which is a life-threatening, inherited disease.1 However, if this technique is successfully developed it may be applicable to other patients with end stage lung disease. Cystic fibrosis is a disease where the major morbidity and mortality is due to pulmonary infection and respiratory failure.2 In l938 70% of patients born with CF died within one year of birth, but (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Joanna Kusiak.Misc M.&E. - 2005 - Dialogue and Universalism 15 (5-6).
     
    Export citation  
     
    Bookmark  
  41. Construction of phylogenetic trees.W. M. Fitch & E. Margoliash - 2014 - In Francisco José Ayala & John C. Avise (eds.), Essential readings in evolutionary biology. Baltimore: The Johns Hopkins University Press.
     
    Export citation  
     
    Bookmark  
  42.  37
    From Canon Fodder to Canon-Formation: How Do We Get There from Here?M. E. Waithe - 2015 - The Monist 98 (1):21-33.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  43.  40
    Medical Ethics and Medical Professionalism in Low and Middle Income (LAMIC) Countries: Challenges and Implications.Albert M. E. Coleman - 2015 - Bangladesh Journal of Bioethics 6 (2):1-7.
    This article examines the (bio) ethical and professionalism issues that may arise in the context of medical practice in low and middle income countries (LAMIC), and the challenges this poses for medical regulatory bodies in the regions, in upholding ethics in professional practice. A quadrangle of source of the problems given rise to the breach of ethics in medical practice is identified, and suggested steps, based on ethical principles and concept, is proposed towards the resolution of the problems presented. As (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Sovremennoe estestvoznanie i materialisticheskai︠a︡ dialektika.M. E. Omelʹi︠a︡novskyĭ (ed.) - 1977 - Moskva: Nauka.
    No categories
     
    Export citation  
     
    Bookmark  
  45.  13
    Mimicry eases prediction and thereby smoothens social interactions.M. E. Kret & R. Akyüz - 2022 - Cognition and Emotion 36 (5):794-798.
    In their “social contextual view” of emotional mimicry, authors Hess and Fischer (2022) put forward emotional mimicry as a social regulator, considering it a social act, bound to certain affiliative contexts or goals. In this commentary, we argue that the core function of mimicry is to ease predicting conspecifics’ behaviours and the environment, and that as a consequence, this often smoothens social interactions. Accordingly, we make three main points. First, we argue that there is no good reason to believe that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  4
    Paraconsistency, the logical way to the inconsistent.W. A. Carnielli, M. E. Coniglio & I. M. L. Loffredo D'Ottaviano (eds.) - 2002 - CRC Press.
    Proceedings of the II World Congress on Paraconsistency held in Juquey, SP, Brazil, from May 12-19, 2000.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. M. Heidegger, "Nietzsche".M. E. Zimmerman - 1984 - International Journal for Philosophy of Religion 15 (1/2):96.
     
    Export citation  
     
    Bookmark  
  48.  22
    Evidence of divergence in vertebrate learning.M. E. Bitterman - 1987 - Behavioral and Brain Sciences 10 (4):659.
  49. La Psychologie Contemporaine.Guido Villa, M. E. Boutroux, Ch Rossigneux, Mm Valentin & Battesti - 1904 - Revue de Métaphysique et de Morale 12 (3):9-10.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  79
    The neural correlates of consciousness: An analysis of cognitive skill learning.M. E. Raichle - 2000 - In Michael S. Gazzaniga (ed.), The New Cognitive Neurosciences: 2nd Edition. MIT Press.
1 — 50 / 1000