Results for 'Liana Giorgi'

412 found
Order:
  1.  9
    Tariq Ramadan vs. Daniel Cohn-Bendit or Why a European Model of Society Based on Weak Citizenship Is Not Such a Good Idea.Liana Giorgi - 2009 - European Journal of Social Theory 12 (4):465-481.
    The boundaries, openness and character of the future European society will crucially depend on the degree and scope of identity politics. Religion, culture and nationality remain strong reference frameworks for individuals in their inter-personal but also political relations and tend, in practice, to favour weak rather than strong forms of citizenship. Whether this is a viable model for large and diverse democratic societies is an old debate known primarily from the discussions and theory on multiculturalism. How this debate is played (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. The descriptive phenomenological method in psychology: a modified Husserlian approach.Amedeo Giorgi - 2009 - Pittsburgh, Pa.: Duquesne University Press.
    Discusses the phenomenological foundations for qualitative research in psychology which operates out of the intersection of phenomenological philosophy, science, and psychology; challenges long-standing assumptions about the practice of grounding the science of psychology in empiricism and asserts that the broader philosophy of phenomenological theory of science permits more adequate psychological development"--Provided by publisher.
    Direct download  
     
    Export citation  
     
    Bookmark   89 citations  
  3. The Continuous Model of Culture: Modernity Decline—a Eurocentric Bias? An Attempt to Introduce an Absolute value into a Model of Culture.Giorgi Kankava - 2013 - Human Studies 36 (3):411-433.
    This paper means to demonstrate the theoretical-and- methodological potential of a particular pattern of thought about culture. Employing an end-means and absolute value plus concept of reality approach, the continuous model of culture aims to embrace from one holistic standpoint various concepts and debates of the modern human, social, and political sciences. The paper revisits the debates of fact versus value, nature versus culture, culture versus structure, agency versus structure, and economics versus politics and offers the concepts of the rule (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  9
    Compromised Conscience: A Scoping Review of Moral Injury Among Firefighters, Paramedics, and Police Officers.Liana M. Lentz, Lorraine Smith-MacDonald, David Malloy, R. Nicholas Carleton & Suzette Brémault-Phillips - 2021 - Frontiers in Psychology 12.
    BackgroundPublic Safety Personnel are routinely exposed to human suffering and need to make quick, morally challenging decisions. Such decisions can affect their psychological wellbeing. Participating in or observing an event or situation that conflicts with personal values can potentially lead to the development of moral injury. Common stressors associated with moral injury include betrayal, inability to prevent death or harm, and ethical dilemmas. Potentially psychologically traumatic event exposures and post-traumatic stress disorder can be comorbid with moral injury; however, moral injury (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Edgy imaginaries : "ghost'"orangutans, extinction, and responsibility in a plantation landscape.Liana Chua - 2023 - In Melissa Demian, Mattia Fumanti & Christos Lynteris (eds.), Anthropology and responsibility. New York, NY: Routledge.
     
    Export citation  
     
    Bookmark  
  6. La critica estetistica dell'idealismo in G. Ferretti e U. Spirito.Dino di Giorgi - 1942 - Palermo,: Edizioni GUF.
    No categories
     
    Export citation  
     
    Bookmark  
  7.  8
    Saxelmcipos mocqobis antikuri koncʻepʻciebi: demokratiuli Atʻenidan princʻipatamde.Giorgi Ugulava - 2010 - Tʻbilisi: Logos.
  8.  49
    A four-part working bibliography of neuroethics: part 1: overview and reviews – defining and describing the field and its practices.Liana Buniak, Martina Darragh & James Giordano - 2014 - Philosophy, Ethics, and Humanities in Medicine 9:9.
    Neuroethics entails investigations of neurocognitive mechanisms of morality and ethics; and studies and address of the ethical issues spawned by the use of neuroscience and its technologies to investigate cognition, emotion and actions. These two principal emphases, or what have been called “traditions” of neuroethics both mirror traditional bioethical discussions (such as debates about the safety of technological and pharmaceutical advances and ethical implications of new scientific and technological discoveries), and engage discourse about neuroscientific investigations of (proto-moral and moral) cognition, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  9.  11
    Emotions, language and identity on the margins of Europe.Kyra Giorgi - 2014 - New York, NY: Palgrave-Macmillan.
    Nations usually define themselves in positive terms; they proclaim themselves strong and victorious, or developed and prosperous. But what does it mean when the opposite is true - when negative feelings like regret, nostalgia, melancholy and fatalism are said to be the true essence of a culture? And what does it mean when these feelings are encapsulated in a single, untranslatable word?Bringing together three such word-concepts from Europe's periphery - saudade in Portugal, the Czech litost of Milan Kundera and Orhan (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Simbolo e schema.Rubina Giorgi - 1968 - Padova,: CEDAM.
     
    Export citation  
     
    Bookmark  
  11. Motor Control: Models.Liana E. Brown & David A. Rosenbaum - 2002 - In Lynn Nadel (ed.), The Encyclopedia of Cognitive Science. Macmillan.
     
    Export citation  
     
    Bookmark   16 citations  
  12.  41
    Are Olfactory Receptors Really Olfactive?Franco Giorgi, Roberto Maggio & Luis Emilio Bruni - 2011 - Biosemiotics 4 (3):331-347.
    Any living organism interacts with and responds specifically to environmental molecules by expressing specific olfactory receptors. In this paper, this specificity will be first examined in causal terms with particular emphasis on the mechanisms controlling olfactory gene expression, cell-to-cell interactions and odor-decoding processes. However, this type of explanation does not entirely justify the role olfactory receptors have played during evolution, since they are also expressed ectopically in different organs and/or tissues. Homologous olfactory genes have in fact been found in such (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  35
    Congenital lack and extraordinary ability in object and spatial imagery: An investigation on sub-types of aphantasia and hyperphantasia.Liana Palermo, Maddalena Boccia, Laura Piccardi & Raffaella Nori - 2022 - Consciousness and Cognition 103 (C):103360.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  8
    Evald Ilyenkov and the imperialist unconscious in Soviet philosophy.Giorgi Kobakhidze - forthcoming - Studies in East European Thought.
  15.  3
    Pragmatics in the Minimalist framework.Alessandra Giorgi - 2023 - Evolutionary Linguistic Theory 5 (2):103-127.
    This article explores the relationship between pragmatics and the other components of grammar. Specifically, it aims to determine whether pragmatics is a distinct module of grammar coming into play at some point in the derivation process to connect the sentence with the context. The conclusion is that, based on the phenomena considered in this work, pragmatics rather than being a separate module, is distributed in the various components. It is shown in fact that the context immediately intervenes at the representative (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  23
    Documenting insanity: Paperwork and patient narratives in psychiatric history.Liana Glew - 2022 - History of the Human Sciences 35 (3-4):3-31.
    Paperwork plays a key role in a how institutions accommodate, refuse, or manage disabled people. This article develops modes for reading paperwork that build on each other, beginning with (a) recognizing the institutional pressures at work in shaping bureaucratic practices, then (b) considering how a person's relationship to disability influences how they might encounter these practices, and ultimately (c) noticing how the encounter between disabled/mad people and an institution might create something new, what the author calls archival excess. These methods (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  6
    La scuola italiana di spiritualità: da Rosmini a Montini.Fulvio De Giorgi - 2020 - Brescia: Morcelliana.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Justiţia între Executiv şi Legislativ. Interviu cu Rodica STĂNOIU, ministrul Justitiei.Liana Ionescu - 2002 - Dilema 486:8.
    No categories
     
    Export citation  
     
    Bookmark  
  19.  15
    High Rates of Mental Health Disorders in Civilian Employees Working in Police Organizations.Liana Lentz, Peter H. Silverstone & Yasmeen I. Krameddine - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  16
    Inf'ncia Em Relações Entre Avós e Netos: Vínculo, Amor e Potência de Vida.Liana Garcia Castro - 2023 - Childhood and Philosophy 19:01-25.
    This article, based on grandparents' narratives collected in a doctoral research project, aims to weave together reflections on childhood, intergenerational bonding, and love. Seven grandmothers and three grandfathers, between fifty-one and seventy-one years old, participated in the research; nine residents of the city of Rio de Janeiro and one of Niterói, Brazil. In addition, narratives were collected from six of their grandchildren, all of them between five and twelve years old, and residents of Rio de Janeiro, Niterói, Brasília and Montevideo, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  56
    Facial Feminization Surgery: The Ethics of Gatekeeping in Transgender Health.Alex Dubov & Liana Fraenkel - 2018 - American Journal of Bioethics 18 (12):3-9.
    The lack of access to gender-affirming surgery represents a significant unmet health care need within the transgender community, frequently resulting in depression and self-destructive behavior. While some transgender people may have access to gender reassignment surgery, an overwhelming majority cannot afford facial feminization surgery. The former may be covered as a “medical necessity,” but FFS is considered “cosmetic” and excluded from insurance coverage. This demarcation between “necessity” and “cosmetic” in transgender health care based on specific body parts is in direct (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  22.  8
    How Do We Know?: Evidence, Ethnography, and the Making of Anthropological Knowledge.Liana Chua, Casey High & Timm Lau (eds.) - 2008 - Cambridge Scholars Press.
    Since its inception, modern anthropology has stood at the confluence of two mutually constitutive modes of knowledge production: participant-observation and theoretical analysis. This unique combination of practice and theory has been the subject of recurrent intellectual and methodological debate, raising questions that strike at the very heart of the discipline. How Do We Know? is a timely contribution to emerging debates that seek to understand this relationship through the theme of evidence. Incorporating a diverse selection of case studies ranging from (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Conceptions of political thought in medieval Georgia: David IV "the Builder", Arsen of Ikalto.Giorgi Khuroshvili - 2018 - In Burkhard Mojsisch, Tengiz Iremadze & Udo Reinhold Jeck (eds.), Veritas et subtilitas: truth and subtlety in the history of philosophy: essays in memory of Burkhard Mojsisch (1944-2015). John Benjamins.
     
    Export citation  
     
    Bookmark  
  24.  10
    Inter-trial priming does not affect attentional priority in asymmetric visual search.Liana Amunts, Amit Yashar & Dominique Lamy - 2014 - Frontiers in Psychology 5.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  22
    The Cows and the Bees: Arabic Sources and Parallels for Pseudo-Plato's Liber Vaccae.Liana Saif - 2016 - Journal of the Warburg and Courtauld Institutes 79 (1):1-47.
    The Arabic original of the ninth-century Kitāb al-Nawāmīs has not been discovered, save for three incomplete chapters. We have access to a fuller version only through a Latin translation, often known as the Liber vaccae, a title derived from its notorious experiments which involve the gruesome slaughter and mutilation of a cow to magically produce a rational animal or bees. Recent research on the Liber vaccae has focused mostly on its reception in medieval and early modern Europe. By contrast, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  15
    A generalized notion of weak interpretability and the corresponding modal logic.Giorgie Dzhaparidze - 1993 - Annals of Pure and Applied Logic 61 (1-2):113-160.
    Dzhaparidze, G., A generalized notion of weak interpretability and the corresponding modal logic, Annals of Pure and Applied Logic 61 113-160. A tree Tr of theories T1,...,Tn is called tolerant, if there are consistent extensions T+1,...,T+n of T1,...,Tn, where each T+i interprets its successors in the tree Tr. We consider a propositional language with the following modal formation rule: if Tr is a tree of formulas, then Tr is a formula, and axiomatically define in this language the decidable logics TLR (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27.  30
    Introduction to computability logic.Giorgi Japaridze - 2003 - Annals of Pure and Applied Logic 123 (1-3):1-99.
    This work is an attempt to lay foundations for a theory of interactive computation and bring logic and theory of computing closer together. It semantically introduces a logic of computability and sets a program for studying various aspects of that logic. The intuitive notion of computational problems is formalized as a certain new, procedural-rule-free sort of games between the machine and the environment, and computability is understood as existence of an interactive Turing machine that wins the game against any possible (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  28.  17
    Comparative Physiology as an Idea Factory for Preserving and Freezing Organs and Cells for Transplantation.Liana M. F. Cardoso & Luiz A. Alves - 2018 - Bioessays 40 (10):1800144.
  29.  22
    Економічні системи: Методологія наукового пізнання і критерії класифікації.Liana Dmytrychenko - 2016 - Схід 3 (143):20-26.
    У статті розглянуті методологічні підходи до визначення сутності та критеріїв класифікації економічних систем. У різноманітті підходів до класифікації економічних систем виділені два основних - формаційний та цивілізаційний. Проаналізовано погляди вчених на співвідношення цих підходів. Аргументована некоректність постановки питання про необхідність доповнити формаційні критерії цивілізаційними критеріями.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Hegel’s Critique of Rationalist Metaphysics in the Vorbegriff Chapter of the Encyclopedia Logic.Giorgi Lebanidze - 2019 - History of Philosophy Quarterly 36 (1):61-78.
    The paper demonstrates that a detailed analysis of Hegel’s criticism of rationalist metaphysics in the “Vorbegriff” (Preliminary Conception) chapter of the Encyclopedia Logic can shed light on the following critical features of Hegel’s metaphysics: (1) advancing semantic holism as an alternative to semantic atomism; (2) renouncing the projection of a substance-attribute formal structure onto actuality; (3) dismissing sense perception as the source of conceptual content; and (4) rejecting dualist ontology.
     
    Export citation  
     
    Bookmark  
  31.  11
    Hegel’s Transcendental Ontology.Giorgi Lebanidze - 2018 - Lanham, MD: Lexington Books.
    This book argues that the Doctrine of the Concept is the centerpiece of Hegel’s philosophical system and, through a close analysis of this final part of the Science of Logic, presents a detailed account of the key features of Hegel’s ontology.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  8
    A New Type of Syntactic Projectivity: SD-Projectivity.Liana Schwartz - 1973 - In Radu J. Bogdan & Ilkka Niiniluoto (eds.), Logic, Language, and Probability. Boston: D. Reidel Pub. Co.. pp. 296--301.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Academy of Gelati as a pivotal topos of Caucasian philosophy and its importance for Georgian philosophical thought.Giorgi Tavadze - 2018 - In Burkhard Mojsisch, Tengiz Iremadze & Udo Reinhold Jeck (eds.), Veritas et subtilitas: truth and subtlety in the history of philosophy: essays in memory of Burkhard Mojsisch (1944-2015). John Benjamins.
     
    Export citation  
     
    Bookmark  
  34.  17
    The logic of arithmetical hierarchy.Giorgie Dzhaparidze - 1994 - Annals of Pure and Applied Logic 66 (2):89-112.
    Formulas of the propositional modal language with the unary modal operators □, Σ1, 1, Σ2, 2,… are considered as schemata of sentences of arithmetic , where □A is interpreted as “A is PA-provable”, ΣnA as “A is PA-equivalent to a Σn-sentence” and nA as “A is PA-equivalent to a Boolean combination of Σn-sentences”. We give an axiomatization and show decidability of the sets of the modal formulas which are schemata of: PA-provable, true arithmetical sentences.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  26
    In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.
  36.  21
    The Importance of Fostering Ownership During Medical Training.Alex Dubov, Liana Fraenkel & Elizabeth Seng - 2016 - American Journal of Bioethics 16 (9):3-12.
    There is a need to consider the impact of the new resident-hours regulations on the variety of aspects of medical education and patient care. Most existing literature about this subject has focused on the role of fatigue in resident performance, education, and health care delivery. However, there are other possible consequences of these new regulations, including a negative impact on decision ownership. Our main assumption of is that increased shift work in medicine can decrease ownership of treatment decisions and impact (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  37.  10
    "Social Alchemy" Yesterday and Today.Giorgy Masalkini - forthcoming - Vox Philosophical journal.
    The phenomenon of "social alchemy", containing the idea of the possibility of creating a new man and a new world and passing through all radical thought, especially of the New and Modern times, had and has a habit of pouring out into violence, in the broadest sense of the word, — from the guillotine and concentration camps to modern "information colonization of consciousness". Having received technological support, when digital technologies and new communication systems cover almost the entire world community, leaving (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  20
    Properly [image] Enumeration Degrees and the High/Low Hierarchy.Matthew Giorgi, Andrea Sorbi & Yue Yang - 2006 - Journal of Symbolic Logic 71 (4):1125 - 1144.
    We show that there exist downwards properly $\Sigma _{2}^{0}$ (in fact noncuppable) e-degrees that are not high. We also show that every high e-degree bounds a noncuppable e-degree.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  13
    Islamicate Occult Sciences in Theory and Practice.Liana Saif, Francesca Leoni, Matthew Melvin-Koushki & Farouk Yahya (eds.) - 2020 - Brill.
    _Islamicate Occult Sciences in Theory and Practice_ presents the latest research on Islamic occult sciences from a variety of disciplinary perspectives, namely intellectual history, manuscript studies and material culture.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  36
    The logic of linear tolerance.Giorgie Dzhaparidze - 1992 - Studia Logica 51 (2):249 - 277.
    A nonempty sequence T1,...,Tn of theories is tolerant, if there are consistent theories T 1 + ,..., T n + such that for each 1 i n, T i + is an extension of Ti in the same language and, if i n, T i + interprets T i+1 + . We consider a propositional language with the modality , the arity of which is not fixed, and axiomatically define in this language the decidable logics TOL and TOL. It is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  69
    The Importance of Physical Strength to Human Males.Aaron Sell, Liana Se Hone & Nicholas Pound - 2012 - Human Nature 23 (1):30-44.
    Fighting ability, although recognized as fundamental to intrasexual competition in many nonhuman species, has received little attention as an explanatory variable in the social sciences. Multiple lines of evidence from archaeology, criminology, anthropology, physiology, and psychology suggest that fighting ability was a crucial aspect of intrasexual competition for ancestral human males, and this has contributed to the evolution of numerous physical and psychological sex differences. Because fighting ability was relevant to many domains of interaction, male psychology should have evolved such (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  42.  31
    Physiological relevance of telomeric G‐quadruplex formation: a potential drug target.Liana Oganesian & Tracy M. Bryan - 2007 - Bioessays 29 (2):155-165.
    The concept of a G‐quartet, a unique structural arrangement intrinsic to guanine‐rich DNA, was first introduced by Gellert and colleagues1 over 40 years ago. For decades, it has been uncertain whether the G‐quartet and the structure that it gives rise to, the G‐quadruplex, are purely in vitro phenomena. Nevertheless, the presence of signature G‐rich motifs in the eukaryotic genome, and the plethora of proteins that bind to, modify or resolve this nucleic acid structure in vitro have provided circumstantial evidence for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  19
    Radical Islamism in Georgia.Giorgi Omsarashvili - 2018 - Philosophy Study 8 (2).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  8
    Salafism in Azerbaijan.Giorgi Omsarashvili - 2018 - Philosophy Study 8 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. A theory of becoming : artistic spatio-temporal experiences after Gilles Deleuze, Alain Badiou, and Brian Massumi.Liana Psarologaki - 2019 - In Paulo de Assis & Paolo Giudici (eds.), Aberrant nuptials: Deleuze and artistic research 2. Leuven University Press.
     
    Export citation  
     
    Bookmark  
  46.  17
    Towards applied theories based on computability logic.Giorgi Japaridze - 2010 - Journal of Symbolic Logic 75 (2):565-601.
    Computability logic (CL) is a recently launched program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth that logic has more traditionally been. Formulas in it represent computational problems, "truth" means existence of an algorithmic solution, and proofs encode such solutions. Within the line of research devoted to finding axiomatizations for ever more expressive fragments of CL, the present paper introduces a new deductive system CL12 and proves its soundness and completeness with (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47.  19
    Nauka jako racjonalna doxa. Józefa Życińskiego koncepcja nauki i filozofii nauki – poza internalizmem i eksternalizmem.Zbigniew Liana - 2019 - Philosophical Problems in Science 66:147-199.
    Philosophical interests of Joseph Życiński in the domain of the philosophy of science were focused on the debate concerning the nature of science and philosophy of science that followed the Einstein-Planck revolution in science. The unexpected discovery of the philosophical, extra-scientific presuppositions in science, as well as of the extra-rational factors determining the way these presuppositions are accepted in science were to be explained within the meta-scientific framework. It is the aim of this paper to present ˙ Życiński’s diagnosis of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  21
    The intuitionistic fragment of computability logic at the propositional level.Giorgi Japaridze - 2007 - Annals of Pure and Applied Logic 147 (3):187-227.
    This paper presents a soundness and completeness proof for propositional intuitionistic calculus with respect to the semantics of computability logic. The latter interprets formulas as interactive computational problems, formalized as games between a machine and its environment. Intuitionistic implication is understood as algorithmic reduction in the weakest possible — and hence most natural — sense, disjunction and conjunction as deterministic-choice combinations of problems , and “absurd” as a computational problem of universal strength.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  49.  33
    Decidable and enumerable predicate logics of provability.Giorgie Dzhaparidze - 1990 - Studia Logica 49 (1):7 - 21.
    Predicate modal formulas are considered as schemata of arithmetical formulas, where is interpreted as the standard formula of provability in a fixed sufficiently rich theory T in the language of arithmetic. QL T(T) and QL T are the sets of schemata of T-provable and true formulas, correspondingly. Solovay's well-known result — construction an arithmetical counterinterpretation by Kripke countermodel — is generalized on the predicate modal language; axiomatizations of the restrictions of QL T(T) and QL T by formulas, which contain no (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  30
    Many Concepts and Two Logics of Algorithmic Reduction.Giorgi Japaridze - 2009 - Studia Logica 91 (1):1-24.
    Within the program of finding axiomatizations for various parts of computability logic, it was proven earlier that the logic of interactive Turing reduction is exactly the implicative fragment of Heyting’s intuitionistic calculus. That sort of reduction permits unlimited reusage of the computational resource represented by the antecedent. An at least equally basic and natural sort of algorithmic reduction, however, is the one that does not allow such reusage. The present article shows that turning the logic of the first sort of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 412