Results for 'M. Szabo'

980 found
Order:
  1.  36
    Nonstandard methods in combinatorics and theoretical computer science.M. M. Richter & M. E. Szabo - 1988 - Studia Logica 47 (3):181 - 191.
  2. 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  
  3.  22
    Parallel Implementation of Backpropagation Algorithm.R. Szabo & M. Steinmetz - 1996 - Journal of Intelligent Systems 6 (3-4):261-278.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  5
    Simulations of Higher-Order Protein Organizations Using a Fuzzy Framework.B. Tüű-Szabó, L. T. Kóczy & M. Fuxreiter - 2018 - Complexity 2018:1-10.
    Spatiotemporal regulation of the biochemical information is often linked to supramolecular organizations proteins and nucleic acids, the driving forces of which have yet to be elucidated. Although the critical role of multivalency in phase transition has been recognized, the organization principles of higher-order structures need to be understood. Here, we present a fuzzy mathematical framework to handle the heterogeneity of interactions patterns and the resultant multiplicity of conformational states in protein assemblies. In this model, redundant binding motifs can establish simultaneous (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  35
    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  
  6.  17
    Investigations into Logical Deduction.Introduction.John Riser, Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144.
  7.  17
    A cut elimination theorem for stationary logic.M. E. Szabo - 1987 - Annals of Pure and Applied Logic 33 (C):181-193.
  8.  29
    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   42 citations  
  9.  18
    The continuous realizability of entailment.M. E. Szabo - 1983 - Mathematical Logic Quarterly 29 (4):219-233.
  10.  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  
  11.  9
    Imaginative play and imagery learning.Isabel T. SzabÓ & Martin M. Shapiro - 1983 - Bulletin of the Psychonomic Society 21 (2):105-107.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. ST Politique alternative par rapport à la technique, Mythe ou réalité?M. Szabo - 1986 - Zagadnienia Naukoznawstwa 22 (1).
    No categories
     
    Export citation  
     
    Bookmark  
  13.  41
    The Elements of Philosophy: Readings From Past and Present.Tamar Szabo Gendler, Susanna Siegel & Steven M. Cahn (eds.) - 2007 - New York: Oxford University Press USA.
    The Elements of Philosophy: Readings from Past and Present offers an extensive collection of classic and contemporary readings, organized topically into five main sections: Religion and Belief, Moral and Political Philosophy, Metaphysics and Epistemology, Philosophy of Mind and Language, and Life and Death. Within these broad areas, readings are arranged in clusters that address both traditional issues--such as the existence of God, justice and the state, knowledge and skepticism, and free will--and contemporary topics--including God and science, just war theory, vegetarianism, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  34
    Variable truth.M. E. Szabo - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):401-414.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Variable Truth.M. Szabo - 1984 - Mathematical Logic Quarterly 30 (26-29):401-414.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  11
    “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  
  17.  30
    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  
  18.  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.
  19.  13
    “On the plausibility of nonstandard proofs in analysis”.E. J. Farkas & M. E. Szabo - 1984 - Dialectica 38 (4):297-310.
  20.  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.
  21. Societal-Level Versus Individual-Level Predictions of Ethical Behavior: A 48-Society Study of Collectivism and Individualism.David A. Ralston, Carolyn P. Egri, Olivier Furrer, Min-Hsun Kuo, Yongjuan Li, Florian Wangenheim, Marina Dabic, Irina Naoumova, Katsuhiko Shimizu, María Teresa Garza Carranza, Ping Ping Fu, Vojko V. Potocan, Andre Pekerti, Tomasz Lenartowicz, Narasimhan Srinivasan, Tania Casado, Ana Maria Rossi, Erna Szabo, Arif Butt, Ian Palmer, Prem Ramburuth, David M. Brock, Jane Terpstra-Tong, Ilya Grison, Emmanuelle Reynaud, Malika Richards, Philip Hallinger, Francisco B. Castro, Jaime Ruiz-Gutiérrez, Laurie Milton, Mahfooz Ansari, Arunas Starkus, Audra Mockaitis, Tevfik Dalgic, Fidel León-Darder, Hung Vu Thanh, Yong-lin Moon, Mario Molteni, Yongqing Fang, Jose Pla-Barber, Ruth Alas, Isabelle Maignan, Jorge C. Jesuino, Chay-Hoon Lee, Joel D. Nicholson, Ho-Beng Chia, Wade Danis, Ajantha S. Dharmasiri & Mark Weber - 2014 - Journal of Business Ethics 122 (2):283–306.
    Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  22.  71
    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.
  23.  5
    Book review: Elmondani az elmondhatatlant, A nemi erőszak Magyarországon a II. világháború alatt, transl [Telling the Untellable, The History of Second World War Rape in Hungary]. [REVIEW]Alexandra M. Szabo - 2019 - European Journal of Women's Studies 26 (3):350-353.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  26
    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  
  25.  10
    Review: F. William Lawvere, C. Maurer, Model Theory and Topai. [REVIEW]M. E. Szabo - 1981 - Journal of Symbolic Logic 46 (1):158-161.
  26.  20
    Exploring the Relationship Between Mental Well-Being, Exercise Routines, and the Intake of Image and Performance Enhancing Drugs During the Coronavirus Disease 2019 Pandemic: A Comparison Across Sport Disciplines.Mami Shibata, Julius Burkauskas, Artemisa R. Dores, Kei Kobayashi, Sayaka Yoshimura, Pierluigi Simonato, Ilaria De Luca, Dorotea Cicconcelli, Valentina Giorgetti, Irene P. Carvalho, Fernando Barbosa, Cristina Monteiro, Toshiya Murai, Maria A. Gómez-Martínez, Zsolt Demetrovics, Krisztina Edina Ábel, Attila Szabo, Alejandra Rebeca Melero Ventola, Eva Maria Arroyo-Anlló, Ricardo M. Santos-Labrador, Inga Griskova-Bulanova, Aiste Pranckeviciene, Giuseppe Bersani, Hironobu Fujiwara & Ornella Corazza - 2021 - Frontiers in Psychology 12.
    Introduction: Physical distancing under the coronavirus disease 2019 pandemic had a significant impact on lifestyles, including exercise routines. In this study, we examined the relationship between mental health and addictive behaviors, such as excessive exercise and the use of image and performance enhancing drugs across 12 sport disciplines.Materials and methods: A large cross-sectional sample of the adult population was surveyed. The mean age was 33.09. The number of male participants was 668. The use of IPEDs was assessed in conjunction with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  1
    On a Possible Relation Between Greek Mathematics and Eleatic Philosophy.Ioannis M. Vandoulakis - 2024 - In Jean- Timothy J. Madigan & Jean-Yves Beziau (eds.), Universal Logic, Ethics, and Truth. Birkhäuser. pp. 217-230.
    In this paper, we approach the problem of the relationship between Greek mathematics and Eleatic philosophy from a new perspective, which leads us to a reappraisal of Szabó’s hypothesis about the origin of mathematics out of Eleatic philosophy. We claim that Parmenidean philosophy, particularly its semantic core, has possibly been shaped by reflexion on the Pythagoreans’ mathematical practice, particularly in arithmetic. Furthermore, Pythagorean arithmetic originates not from another domain outside mathematics but from counting, i.e., it has its roots in man’s (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  3
    Strange Love, or.Tait Szabo - 2010 - In Fritz Allhoff & Dave Monroe (eds.), Porn ‐ Philosophy for Everyone. Oxford, UK: Wiley‐Blackwell. pp. 79–92.
    This chapter contains sections titled: Going Deep The Porns of Our Lives Dial M for Missionary For Your Thighs Only A Clear and Present Stranger Enema of the State Good Will Humping Notes.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Table of contents from the elements of philosophy: Readings from past and present.Tamar Szabó Gendler - 2008 - Oxford University Press. Edited by Tamar Gendler.
    (ed. Tamar Szabo Gendler, Susanna Siegel and Steven M. Cahn) Oxford, 2007.
     
    Export citation  
     
    Bookmark  
  30.  95
    Review: R. M. Sainsbury: Reference without Referents. [REVIEW]Zoltán Gendler Szabó - 2008 - Mind 117 (468):1123-1127.
  31. A. Szabó, "les Débuts Des Mathématiques Grecques".M. Meyer - 1978 - Revue Internationale de Philosophie 32 (2/3=124/125):418.
    No categories
     
    Export citation  
     
    Bookmark  
  32. The ontology of words: a structural approach.Ryan M. Nefdt - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (8):877-911.
    Words form a fundamental basis for our understanding of linguistic practice. However, the precise ontology of words has eluded many philosophers and linguists. A persistent difficulty for most accounts of words is the type-token distinction [Bromberger, S. 1989. “Types and Tokens in Linguistics.” In Reflections on Chomsky, edited by A. George, 58–90. Basil Blackwell; Kaplan, D. 1990. “Words.” Aristotelian Society Supplementary Volume LXIV: 93–119]. In this paper, I present a novel account of words which differs from the atomistic and platonistic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  33. Varia: Studia Philosophica Academiae Scientiarum Hungaricae. [REVIEW]A. M. K. - 1964 - Review of Metaphysics 17 (4):640-640.
    A collection of articles in English, German and French by fourteen Hungarian authors. Of particular interest and value is "Über die erkenntnistheoretischen Ansichten des jungen Marx" by György Markus. Although the footnotes are full of criticisms of the "revisionists", the early Marx is taken seriously as a philosophical thinker in his own right, and an effort is made to lay out what might be a theory of knowledge for this early Marx. Other articles of interest are by Edit Rózsahegyi, "The (...)
    No categories
     
    Export citation  
     
    Bookmark  
  34. The elements of philosophy: readings from past and present.Tamar Gendler, Susanna Siegel & Steven M. Cahn (eds.) - 2008 - New York: Oxford University Press.
    The Elements of Philosophy: Readings from Past and Present is a comprehensive collection of historical and contemporary readings across the major fields of philosophy. With depth and quality, this introductory anthology offers a selection of readings that is both extensive and expansive; the readings span twenty-five centuries. They are organized topically into five parts: Religion and Belief, Moral and Political Philosophy, Metaphysics and Epistemology, Philosophy of Mind and Language, and Life and Death. The product of the collaboration of three highly (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  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.
  36.  3
    Arpád Szabó, Les débuts des mathématiques grecques, trad. par M. Federspiel. Paris, Vrin, 1977. 13,5 × 21, 403 p. (L'Histoire des Sciences : Textes et Etudes). [REVIEW]Jean-Claude Margolin - 1979 - Revue de Synthèse 100 (95-96):490-491.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  25
    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  
  38.  40
    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  
  39.  16
    Review: Hans Georg Steiner, Frege und die Grundlagen der Geometrie; G. Frege, M. E. Szabo, E. D. Klemke, On the Foundations of Geometry. [REVIEW]Michael D. Resnik - 1971 - Journal of Symbolic Logic 36 (1):155-155.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  23
    Gerhard Gentzen. Investigations into logical deduction. English translation of 4422 by M. E. Szabo. American philosophical quarterly, vol. 1 , pp. 288–306, and vol. 2 , pp. 204–218. - Paul Bernays. Introduction.Therein, vol. 1, p. 288. [REVIEW]John Riser - 1970 - Journal of Symbolic Logic 35 (1):144-145.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  28
    Book Review:The Collected Papers of Gerhard Gentzen M. E. Szabo[REVIEW]J. van Heijenoort - 1972 - Philosophy of Science 39 (1):91-.
  42.  32
    The Beginnings of Greek Mathematics by Árpád Szabó; A. M. Ungar; Les débuts des mathématiques grecques by Árpád Szabó; M. Federspiel. [REVIEW]Wilbur Knorr - 1981 - Isis 72:135-136.
  43. Nominalism.Zoltán Gendler Szabó - 2003 - In Michael J. Loux & Dean W. Zimmerman (eds.), The Oxford handbook of metaphysics. New York: Oxford University Press.
    …entities? 2. How to be a nominalist 2.1. “Speak with the vulgar …” 2.2. “…think with the learned” 3. Arguments for nominalism 3.1. Intelligibility, physicalism, and economy 3.2. Causal..
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  44. Nominalism.Zoltan Szabo - 2003 - In Michael J. Loux & Dean W. Zimmerman (eds.), The Oxford handbook of metaphysics. New York: Oxford University Press.
    …entities? 2. How to be a nominalist 2.1. “Speak with the vulgar …” 2.2. “…think with the learned” 3. Arguments for nominalism 3.1. Intelligibility, physicalism, and economy 3.2. Causal..
     
    Export citation  
     
    Bookmark   11 citations  
  45.  2
    A Jelentés dimenziói: modális elméletek Kripke után.Erzsébet Szabó & Zoltán Vecsey (eds.) - 2003 - Szeged: JATEPress.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  6
    II. Teil. Die voreuklidische Proportionenlehre.Arpad Szabo - 1973 - In Anfänge der griechischen Mathematik. Presses Universitaires de France. pp. 131-242.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  1
    Ki volt Sherlock Holmes?: tanulmányok a nevek szemantikájáról.Erzsébet Szabó (ed.) - 2005 - Szeged: Klebelsberg Kuno Egyetemi Kiadó.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Empirical foundation of space and time.Laszlo E. Szabo - 2009 - In Mauricio Suárez, Mauro Dorato & Miklós Rédei (eds.), EPSA Philosophical Issues in the Sciences · Launch of the European Philosophy of Science Association. Dordrecht, Netherland: Springer. pp. 251--266.
    I will sketch a possible way of empirical/operational definition of space and time tags of physical events, without logical or operational circularities and with a minimal number of conventional elements. As it turns out, the task is not trivial; and the analysis of the problem leads to a few surprising conclusions.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  49. On Qualification.Zoltán Gendler Szabó - 2003 - Philosophical Perspectives 17 (1):385-414.
  50.  99
    Sensitivity Training.Zoltán Gendler Szabó - 2006 - Mind and Language 21 (1):31-38.
1 — 50 / 980