Results for 'Stal O. Aanderaa'

(not author) ( search as author name )
999 found
Order:
  1. Linear sampling and the ∀∃∀ case of the decision problem.Stal O. Aanderaa & Harry R. Lewis - 1974 - Journal of Symbolic Logic 39 (3):519-548.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  65
    Conservative reduction classes of Krom formulas.Stål O. Aanderaa, Egon Börger & Harry R. Lewis - 1982 - Journal of Symbolic Logic 47 (1):110-130.
    A Krom formula of pure quantification theory is a formula in conjunctive normal form such that each conjunct is a disjunction of at most two atomic formulas or negations of atomic formulas. Every class of Krom formulas that is determined by the form of their quantifier prefixes and which is known to have an unsolvable decision problem for satisfiability is here shown to be a conservative reduction class. Therefore both the general satisfiability problem, and the problem of satisfiability in finite (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  3.  47
    Prefix classes of Krom formulas.Stål O. Aanderaa & Harry R. Lewis - 1973 - Journal of Symbolic Logic 38 (4):628-642.
  4. The finite controllability of the Maslov case.Stål Aanderaa & Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (3):509-518.
  5.  53
    Decision problems for tag systems.Stål Aanderaa & Dag Belsnes - 1971 - Journal of Symbolic Logic 36 (2):229-239.
  6.  2
    Burton Dreben and Stål Aanderaa. Herbrand analyzing functions. Bulletin of the American Mathematical Society, vol. 70 , pp. 697–698. [REVIEW]Peter Andrews - 1968 - Journal of Symbolic Logic 32 (4):521.
  7. Review: Burton Dreben, Stal Aanderaa, Herbrand Analyzing Functions. [REVIEW]Peter Andrews - 1967 - Journal of Symbolic Logic 32 (4):521-521.
     
    Export citation  
     
    Bookmark  
  8.  18
    Patrick C. Fischer. On formalisms for Turing machines. Journal of the Association for Computing Machinery, vol. 12 , pp. 570–580. - Stål Aanderaa and Patrick C. Fischer. The solvability of the halting problem for 2-state Post machines. Journal of the Association for Computing Machinery, vol. 14 , pp. 677–682. - Patrick C. Fischer. Quantificational variants on the halting problem for Turing machines. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 , pp. 211–218. [REVIEW]Gabor T. Herman - 1971 - Journal of Symbolic Logic 36 (3):532-534.
  9.  7
    Burton Dreben, Peter Andrews, and Stål Aanderaa. False lemmas in Herbrand. Bulletin of the American Mathematical Society, vol. 69 , pp. 699–706. [REVIEW]Paul Bernays - 1966 - Journal of Symbolic Logic 31 (4):657-659.
  10.  4
    Review: Burton Dreben, Peter Andrews, Stal Aanderaa, False Lemmas in Herbrand. [REVIEW]Paul Bernays - 1966 - Journal of Symbolic Logic 31 (4):657-659.
  11.  9
    O pewnych zasadniczych twierdzeniach dotyczących podstaw matematyki i wnioskach z nich płynących.Kurt Gödel - 2018 - Studia Semiotyczne 32 (2):9-32.
    Badania nad podstawami matematyki przyniosły w ostatnich dziesięcioleciach wyniki, które wydają mi się ciekawe nie tylko dla nich samych, lecz także z uwagi na wnioski, jakie płyną z nich w odniesieniu do tradycyjnych problemów filozoficznych dotyczących natury matematyki. Same wyniki są dość szeroko znane, mimo to jednak sądzę, że warto raz jeszcze przedstawić je w zarysie, zwłaszcza w obliczu faktu, że dzięki pracy szeregu matematyków zyskały one znacznie doskonalszą formę, niż miały pierwotnie. Największy postęp, mający decydujące znaczenie dla tych wyników, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  5
    La philosophie de Sartre: essai d'analyse critique.Isabelle Stal - 2006 - Paris: Presses universitaires de France.
    Peut-on, comme l'a pensé Sartre, construire une philosophie concrète qui répudie les abstractions de la métaphysique en étendant la réduction phénoménologique au domaine entier de l'expérience humaine? Et peut-on fonder une telle démarche sur l'évidence de l'existence, promue au rang de certitude apodictique? Pour conduire cette enquête il a été nécessaire d'examiner la conscience, le monde, autrui, l'expérience morale et la vie politique, en suivant l'ordre d'apparition de ces thèmes dans l'œuvre philosophique sartrienne qui, depuis la Transcendance de l'ego jusqu'à (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  11
    Organizing Means–Ends Decoupling: Core–Compartment Separations in Fast Fashion.Hervé Corvellec & Herman I. Stål - 2022 - Business and Society 61 (4):857-885.
    Means–ends decoupling, the institutionally induced implementation of ineffective practices, has become increasingly common. Extant theory suggests that means–ends decoupling has real consequences, which makes it unstable and difficult for organizations to sustain. Yet little is known of how, and with what outcomes, firms organize such means–ends decoupling. We examine organizing via multiple qualitative and longitudinal case studies of how Swedish fast fashion retailers implement and manage the collection of used garments. We find that firms combine two organizational arrangements: structural and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  6
    Od przeszłości do teraźniejszości. O kryminałach Pawła Jaszczuka.Joanna Chłosta-Zielonka - 2023 - Acta Universitatis Lodziensis. Folia Litteraria Polonica 66 (1):271-287.
    Celem artykułu jest przedstawienie twórczości Pawła Jaszczuka, który dzięki swoim dokonaniom stał się reprezentatywny, zarówno dla literatury kryminalnej, jak i dla środowiska Warmii i Mazur. Od wielu lat pisze powieści kryminalne, przyczyniając się do rozwoju odmian gatunku, a jednocześnie korzystając z tej formy, porusza ważne współcześnie tematy. W jego utworach widać także przebieg pewnego procesu: rozpoczynając od narracji historycznej, w której ważne miejsce pełniła przeszłość, coraz częściej zabiera głos w sprawie teraźniejszości i jej wyznaczników: dominacji polityki w życiu, rozprzestrzeniania się (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. The Misinformation Age: How False Beliefs Spread.Cailin O'Connor & James Owen Weatherall - 2019 - New Haven, CT, USA: Yale University Press.
    "Why should we care about having true beliefs? And why do demonstrably false beliefs persist and spread despite consequences for the people who hold them? Philosophers of science Cailin O’Connor and James Weatherall argue that social factors, rather than individual psychology, are what’s essential to understanding the spread and persistence of false belief. It might seem that there’s an obvious reason that true beliefs matter: false beliefs will hurt you. But if that’s right, then why is it irrelevant to many (...)
    Direct download  
     
    Export citation  
     
    Bookmark   48 citations  
  16.  59
    Social Epistemology.Cailin O'Connor, Sanford Goldberg & Alvin Goldman - 2024 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  2
    Eduardo Lourenço: a história é a suprema ficção.Eduardo Lourenço - 2023 - Lisboa: Guerra & Paz. Edited by José Jorge Letria & Mário Soares.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  15
    Vignette Selection for Ethical Reflections: A Selection Procedure for Vignettes to Investigate Staff Reflections on the Ethical Challenges in Interaction with People with Intellectual Disabilities.May Østby & Stål Bjørkly - 2011 - Ethics and Social Welfare 5 (3):277-295.
    Care staff in Norway usually work in the private homes of people with intellectual disabilities. Staff experience ethical challenges daily in their interactions with their clients. The aim of this paper is to introduce a vignette validation procedure for selection of practice-close vignettes that can be used to elicit and explore staff reflections on ethical challenges in their work. Staff participants were recruited from different municipalities in one county of Norway. To develop vignettes with good internal validity, the validation process (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Acting on Principle: An Essay on Kantian Ethics.Onora O'Neill - 1975 - New York: Cambridge University Press.
  20. Arquitetura e filosofia da desconstrução.Fernando Freitas Fuão - 2016 - In Dirce Eleonora Nigro Solis (ed.), Querências de Derrida, moradas da arquitetura e filosofia: arquitetura e filosofia da desconstrução. Porto Alegre: UFRGS.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  22
    Free (and Fair) Markets without Capitalism.Martin O'neill - 2012-02-17 - In Martin O'Neill & Thad Williamson (eds.), Property‐Owning Democracy. Wiley‐Blackwell. pp. 75–100.
    This chapter contains sections titled: Introduction: Rawls Against Capitalism Rawls's Critique of “Welfare State Capitalism” Rawls (and Meade) on the Aims and Features of “Property‐Owning Democracy” Putting the Democracy into Property‐Owning Democracy: POD and the Fair Value of the Political Liberties Power, Opportunity, and Control of Capital: POD and Fair Equality of Opportunity Power, Status, and Self‐Respect: POD, the Difference Principle, and the Value of Equality Welfare State Capitalism and Property‐Owning Democracy: Ideal Types, Public Policy, and Real Politics Conclusion ‐ (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  22.  22
    I, myself, move.Lucy O'Brien - forthcoming - European Journal of Philosophy.
    This paper addresses the question “what connection is there between our answer to the question of what we are, and the question, what our actions are?” Suppose that actions are reflexive changes of agents. On that supposition, there would be a direct connection between the answers to those two questions. An action of mine will be a reflexive change of me, and what I am will fix the nature of those changes. I hold that supposition to be true and consider (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. The indexical nature of sensory concepts.John O'Dea - 2002 - Philosophical Papers 32 (2):169-181.
    This paper advances the thesis that sensory concepts have as a semantic component the first-person indexical. It is argued that the private nature of our access to our own sensations forces, in our talking about them, an indexical reference to the inner states of the speaker in lieu of publicly accessible properties by which reference is usually fixed. Indexicals, such as ‘here’, can be understood despite ignorance of their referent. Such is the case with sensory terms. Furthermore, the thesis that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  24. Substance.Donnchadh O'Conaill - 2022 - New York, NY, USA: Cambridge University Press.
    Substance has long been one of the key categories in metaphysics. This Element focuses on contemporary work on substance, and in particular on contemporary substance ontologies, metaphysical systems in which substance is one of the fundamental categories and individual substances are among the basic building blocks of reality. The topics discussed include the different metaphysical roles which substances have been tasked with playing; different critieria of substancehood (accounts of what is it to be a substance); arguments for and against the (...)
     
    Export citation  
     
    Bookmark   2 citations  
  25.  12
    Конституювання православної церкви україни як чинник зміни культурно-цивілізаційної парадигми незалежної україни.Oлександр Назарович Саган - 2019 - Ukrainian Religious Studies 88:23-39.
    Анотація. У статті розглянуто тісний зв´язок між зменшенням впливу Московського патріархату на суспільно-політичні процеси в Україні та відновленням українського культурно-цивілізаційного простору. А саме – поступове позбавлення православних віруючих проявів постімперського синдрому, зокрема установок, уявлень, поведінкових моделей тощо, пов´язаних із перебуванням українців у складі іншомовної та чужої за ментальністю й культурою імперії. Зазначено, що отримання православними віруючими України Томосу про визнання автокефалії і конституювання Православної Церкви України позитивно впливає не лише на розвиток самої ПЦУ, але й рівня патріотизму, відновлення і розвою (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  26.  7
    The epic in the process of rewriting: Seudoaraucana by Elvira Hernández.Biviana Hernández O. - 2023 - Alpha (Osorno) 57:77-94.
    Resumen El artículo se centra en el poema Seudoaraucana de Elvira Hernández (2010; 2017) a partir de la reescritura como recurso articulador de una mirada descentrada y amplificada del texto fuente, La Araucana de Ercilla y Zúñiga. Como hipótesis se plantea que la reescritura discute fenómenos sociales vinculados con las fisuras de la nación chilena y los procesos políticos de la actual coyuntura. Como objetivo, se busca establecer un diálogo con la tradición y el campo literario en torno a la (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  7
    Ch'ulch'ŏ, kyŏnggye ŭi ch'ŏrhak: mŏnjŏ to ka innŭn kot inji rŭl salp'yŏ pora.Yong-wŏn O. - 2016 - Kyŏnggi-do P'aju-si: Kŭl Hangari.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  11
    "Ishoku tarite reisetsu o shiru" wa ayamari ka: sengo no manā, moraru kara kangaeru.Yukihiro Ōkura - 2016 - Tōkyō: Shinhyōron.
    池上彰氏が各紙誌で紹介、大反響を呼んだ前作『「昔はよかった」と言うけれど戦前のマナー・モラルから考える』の待望の続編!
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  35
    Empathy, Intentionality and "Other Mind": from Phenomenology to Contemporary Versions of Naturalism.O. S. Pankratova - 2023 - Anthropological Measurements of Philosophical Research 23:105-116.
    _Purpose._ This article discusses researching the nature and basic structure of acts of empathy. Such research first requires answering the question: are empathic acts intentional acts of our consciousness? If the answer to this question is affirmative, then there is a need to answer the following questions: what are the features of acts of empathy as intentional ones? And can such acts be qualified as opening a special and complex type of access (epistemic, social, and ethical) to "other minds"? _Theoretical (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Imakoso unmei o kangaeru toki.Yasuakira Ōmi - 1974
     
    Export citation  
     
    Bookmark  
  31. Ōhara Yūgaku zenshū.Yūgaku Ōhara - 1943
     
    Export citation  
     
    Bookmark  
  32.  9
    O direito e a vida dos direitos.Vicente Ráo - 1900 - São Paulo: Editora Resenha Universitária.
    Traz os diversos sistemas de direito positivo: o sistema romano, sistema germanico, sistema anglo-americano, sistema sovietico, sistema chines, sistema juridico da india, direito muçulmano, direito israelita.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. The Normativity of Nature in Epicurean Ethics and Politics.Tim O’Keefe - 2021 - In Christof Rapp & Peter Adamson (eds.), State and Nature: Essays in Ancient Political Philosophy. De Gruyter. pp. 181-199.
    Appeals to nature are ubiquitous in Epicurean ethics and politics. The foundation of Epicurean ethics is its claim that pleasure is the sole intrinsic good and pain the sole intrinsic evil, and this is supposedly shown by the behavior of infants who have not yet been corrupted, "when nature's judgement is pure and whole." Central to their recommendations about how to attain pleasure is their division between types of desires: the natural and necessary ones, the natural but non-necessary ones, and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34. O direito.António José Brandão - 1942 - Lisboa: [Emprêsa de o Jornal do comércio e das colónias].
     
    Export citation  
     
    Bookmark  
  35.  17
    Assessment of the Quality of Life in Parents of Children With ADHD: Validation of the Multicultural Quality of Life Index in Norwegian Pediatric Mental Health Hettings.Ingunn Mundal, Petter Laake, Juan Mezzich, Stål K. Bjørkly & Mariela Loreto Lara-Cabrera - 2021 - Frontiers in Psychology 12.
    Background: The brief generic Multicultural Quality of Life Index is a culturally informed self-report 10-item questionnaire used to measure health-related quality of life. QoL is an important outcome measure in guiding healthcare and is held as a substantial parameter to evaluate the effectiveness of healthcare. Attention Deficit Hyperactivity Disorder in children might negatively influence the parents’ QoL. Having a validated questionnaire to measure QoL for this population will therefore be a vital first step in guiding healthcare for parents of children (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  12
    On stage III and stage IV recovery of zinc after alpha-particle irradiation.J. Roggen, J. Cornelis, J. Nihottl & L. Stals - 1977 - Philosophical Magazine 35 (5):1205-1211.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  6
    Edmund Burke and the conservative logic of empire.Daniel I. O'Neill - 2016 - Oakland, California: University of California Press.
    Edmund Burke, long considered modern conservatism's founding father, is also widely believed to be an opponent of empire. However, Daniel O'Neill turns that latter belief on its head. This fresh and innovative book shows that Burke was a passionate supporter and staunch defender of the British Empire in the eighteenth century, whether in the New World, India, or Ireland. Moreover--and against a growing body of contemporary scholarship that rejects the very notion that Burke was an exemplar of conservatism--O'Neill demonstrates that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  6
    The sound of the one hand: 281 Zen Koans with answers.Hau Hōō - 1975 - New York: New York Review Books. Edited by Yoel Hoffmann.
    When The Sound of One Hand Clapping came out in Japan in 1916 it caused a scandal. Zen was a secretive practice, its wisdom relayed from master to novice in strictest privacy. That a handbook existed recording not only the riddling koans that are central to Zen teaching but also detailing the answers to them seemed to mark Zen as rote, not revelatory. For all that, The Sound of One Hand Clapping opens the door to Zen like no other book. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. O papel da obra na criação artística.Emmanuel Carneiro Leão - 1983 - In Arte e filosofia. Rio de Janeiro, RJ: FUNARTE/Instituto Nacional de Artes Plásticas.
     
    Export citation  
     
    Bookmark  
  40. Bertrand Russell, Albert Barnes, and the place of aesthetics in the history of Western philosophy.C. Oliver O'Donnell - 2024 - In Chiara Ambrosio & Julia Sánchez-Dorado (eds.), Abstraction in science and art: philosophical perspectives. New York, NY: Routledge.
     
    Export citation  
     
    Bookmark  
  41.  1
    Fukuzawa Yukichi: saigo no Rangakusha = Yukichi Fukuzawa, 1835-1901.Takeharu Ōkubo - 2023 - Tōkyō: Kabushiki Kaisha Kōdansha.
    近代日本が抱える「文明」と「独立」の矛盾を、最も鋭く直視した福沢。彼の原点=蘭学に着目し、新しい思想が誕生する瞬間を描く。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  5
    Sonzaikan o meguru bōken: hihan riron no shisōshi nōto.Akinobu Ōkuma - 2018 - Tōkyō-to Chiyoda-ku: Hōsei Daigaku Shuppankyoku.
    〈今ここに生きている〉という実感が、なぜ人生の意味と美をなすのか。現代思想を縦横に論じ、人生の愉悦のありかを探る批評の冒険。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  6
    Own yourself: how to form your conscience.William J. O'Malley - 2016 - New York: Paulist Press.
    Own Yourself is "hands-on" course in ethics and morality. Its goal is to assist students to come to know who they genuinely are and who they want to become as they move into adulthood.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  7
    Grace, predestination, and the permission of sin: a Thomistic analysis.Taylor Patrick O'Neill - 2019 - Washington, D.C.: The Catholic University of America Press.
    This book discusses Thomistic commentary on the topics of physical premotion, grace, and the permission of sin, especially as these relate to the mysteries of predestination and reprobation. The author examines the fundamental tenets of the classical Thomistic account, and on this basis critiques the 20th century revisionist theories of Domingo Banez, Reginald Garrigou-Lagrange, Francisco Marin-Sola, Jacques Maritain, Bernard Lonergan, and Jean-Herve Nicolas. In conclusion, the implications of the traditional view are considered in light of the spiritual life.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  1
    Über Menschliches: Anthropologie zwischen Natur und Utopie.Elif Özmen (ed.) - 2016 - Münster: Mentis.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Connoisseur Consumer and Specialty Coffee.Ronan Torres Quintão - 2023 - In Christina Marie Anderson & Peter Stewart (eds.), Connoisseurship. New York, NY: Oxford University Press.
     
    Export citation  
     
    Bookmark  
  47.  2
    Imagen, lenguaje e ideología: aproximaciones desde la historia y la teoría del arte.Víctor del Río & Alberto Santamaría (eds.) - 2023 - Tres Cantos, Madrid-España: Akal.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  1
    Chelovek kak telo i dukh: ideĭnyĭ dialog Rossii i Zapada v istorii filosofii: Monografii︠a︡.O. S. Suvorova - 2016 - Moskva: Izdatelʹskiĭ dom "Nauchnai︠a︡ biblioteka".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Chosŏn sirhak ŭi kaechʻŏkcha sibin.Kwan-U. Chʻŏn (ed.) - 1974
     
    Export citation  
     
    Bookmark  
  50. Kyūō dōwa.Shibata Kyūō - 1917 - In Tetsuzō Tsukamoto, Kyūō Shibata, Shōō Fuse & Baigan Ishida (eds.), Shingaku dōwashū. Tōkyō: Yūhōdō.
     
    Export citation  
     
    Bookmark  
1 — 50 / 999