Results for 'Tatiana Calderón'

602 found
Order:
  1.  9
    Corpografías fronterizas en Waiting for the Barbarians (1980) de J.M. Coetzee.Christian Pardo-Gamboa & Tatiana Calderón Le Joliff - 2020 - Logos: Revista de Lingüística, Filosofía y Literatura 30 (2):379-392.
    The study of corpography (corpographèse) in J.M. Coetzee’s Waiting for the Barbarians establishes a symptomatology of the body -linked to the experiences of torture and eroticism- that associates the illness with somnolence in the fictional text and the parasitization of the represented historical text. The tortured and undesired bodies of the protagonists undergo a process of objectification that manifests the acceleration of the fall of the Empire and the fragmentation of its discursive body as well as reinforces the secrecy and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  12
    Cartografía de la ciudad: La casa subversiva en naciste pintada de Carmen berenguer.Tatiana Calderón - 2006 - Alpha (Osorno) 22.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  5
    Humanitarismo cliché: miradas migrantes hacia la retórica de la piedad peligrosa en We Need New Names y Americanah.Tatiana Calderón Le Joliff & Christian Pardo-Gamboa - 2022 - Co-herencia 19 (36):207-238.
    El sujeto migrante, por su condición intermedia de traductor cultural, presenta una perspectiva ambiguasobre los clichés del humanitarismo. El origen de las protagonistas de We Need New Names y Americanah les permite relatar la experiencia vivida con la ayuda humanitaria, a la vez que la migración y la distancia de esta condición, adquiriendo una voz crítica e irónicamente denunciatoria sobre las paradojas de la piedad. No obstante, en el mismo movimiento, su asentamiento en el país de recepción las desorienta y (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  36
    ERPLAB: an open-source toolbox for the analysis of event-related potentials.Javier Lopez-Calderon & Steven J. Luck - 2014 - Frontiers in Human Neuroscience 8.
  5. Dignity, Humanistic Management, and the Process of Social Innovation Query ID="Q1" Text="Please confirm if the article title is correctly identified. Amend if necessary." Resolved="yes".Selene Islas-Calderón & Mario Vázquez-Maguirre - forthcoming - Humanistic Management Journal:1-14.
    Numerous social and environmental issues are under increasing time constraints, and society is placing greater demands on organizations that foster greater social inclusion, well-being, and human flourishing. In this regard, social innovation research has gained relevance as it provides a rich context to examine how to generate and prioritize dignity-based organizing more effectively. This research aims to examine how the concepts of dignity and humanistic management can shape social innovation processes that generate better results for organizations and society. Building on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. A luz e a hipóstase na tradição ortodoxa grega.Tatiana Oliveira Ribeiro & Henrique F. Cairus - 2024 - Revista Eclesiástica Brasileira 84 (327):85–105.
    This article aims to make public part of the research on the concept of ‘light’ in the theological and, above all, liturgical tradition of the Greek Orthodox Church, based on its representation of the concept of ‘hypostasis’. Taking as a point of departure the interpretation of the expression ‘light of light’ [φῶς ἐκ φωτός (phôs ek phōtos)] of the text of the Niceno-Constantinopolitan Symbol, the article presents a proposal for the interpretation of the concept of ‘representation’ for this specific case, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    Subvertir la narcoviolencia en dos películas mexicanas. Noche de fuego (2021) de Tatiana Huezo y Sin señas particulares (2020) de Fernanda Valadez. [REVIEW]Ainhoa Vásquez Mejías & Ingrid Urgelles Latorre - 2023 - Aisthesis 73:119-136.
    Desde la Guerra contra el narcotráfico implementada por Felipe Calderón, se produce un auge en el “espectáculo de la violencia” (Berlanga “El espectáculo”), es decir, una exhibición desmedida de la violencia tanto en medios de comunicación como en los productos culturales. Esta estética corre el riesgo de naturalizar la violencia por lo que se vuelve necesario pensar en otras formas de representar lo irrepresentable. Este artículo se centra en las películas Noche de fuego (2021) de Tatiana Huezo y (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Educación, fraternidad y sociedad. La evocación de Simón Rodríguez en la narrativa y ensayística de Arturo Uslar Pietri.Lino Latella-Calderón - 2023 - Clio 3 (6):127-139.
    Al penetrar en el tiempo histórico y en la figura de Simón Rodríguez, Arturo Uslar Pietri esboza una explicación del problema originario de la identidad de América; su conflicto consigo misma, las trampas de la libertad, las dificultades dramáticas con las que tropieza el proyecto civilizatorio de la América republicana. Esta visión conflictiva de lo americano aparece prefigurada magistralmente en la propia vida del hombre Simón Rodríguez, por la desmesura de su figura, tanto intelectual como humana, por encarnar de la (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  13
    Bioetica, poder y derecho.Serrano Ruiz-Calderon & José Miguel - 1993 - Madrid: Servicio Publicaciones Facultad Derecho, Universidad Complutense Madrid.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. The hyperuniverse program.Tatiana Arrigoni & Sy-David Friedman - 2013 - Bulletin of Symbolic Logic 19 (1):77-96.
    The Hyperuniverse Program is a new approach to set-theoretic truth which is based on justifiable principles and leads to the resolution of many questions independent from ZFC. The purpose of this paper is to present this program, to illustrate its mathematical content and implications, and to discuss its philosophical assumptions.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  11.  6
    Las procesiones de difuntos en tradiciones y leyendas mexicanas de los siglos XIX-XX.Javier Ayala Calderón - 2024 - Estudios filosofía historia letras 22 (148):119.
    Las procesiones de difuntos fueron un tema muy favorecido en la literatura mexicana de los siglos XIX y XX. Estas historias tienen sus orígenes en los relatos sobre una aparición de ultratumba que dentro del imaginario sobrenatural de Galicia es conocida como la Santa Compaña, la cual llegó a tierras novohispanas en el siglo XVI, como parte de las crónicas de las órdenes religiosas. No obstante, con el paso del tiempo la creencia se secularizó y adquirió tintes cada vez más (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Developing mixed methods research in sport and exercise psychology : potential contributions of a critical realist perspective.Tatiana V. Ryba, Gareth Wiltshire, Julian North & Noora J. Ronkainen - forthcoming - International Journal of Sport and Exercise Psychology 20 (1).
    Notwithstanding diverse opinions and debates about mixing methods, mixed methods research (MMR) is increasingly being used in sport and exercise psychology. In this paper, we describe MMR trends within leading sport and exercise psychology journals and explore critical realism as a possible underpinning framework for conducting MMR. Our meta-study of recent empirical mixed methods studies published in 2017–2019 indicates that eight (36%) of the 22 MMR studies explicitly stated a paradigmatic position (five drew on pragmatism, two switched paradigms between qualitative (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  66
    From industry 4.0 to society 4.0, there and back.Tatiana Mazali - 2018 - AI and Society 33 (3):405-411.
    The new industrial paradigm Industry 4.0, or smart industry, is at the core of contemporary debates. The public debate on Industry 4.0 typically offers two main perspectives: the technological one and the one about industrial policies. On the contrary, the discussion on the social and organizational effects of the new paradigm is still underdeveloped. The article specifically examines this aspect, and analyzes the change that workers are subject to, along with the work organization, smart digital factories. The study originates from (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Cook Ding meets homo oeconomicus: Contrasting Daoist and economistic imaginaries of work.Lisa Herzog, Tatiana Llaguno & Man-Kong Li - 2024 - Critical Review of International Social and Political Philosophy.
    In this paper, we attempt to de-naturalize the prevailing economistic imaginary of work that Max Weber and later commentators described as ‘protestant work ethic,’ epitomized in the figure of homo economicus. We do so by contrasting it with the imaginary of skillful work that can be found in vignettes about artisans in the Zhuangzi. We argue that there are interesting contrasts between these views concerning 1) direct goal achievement vs. indirect goal achievement through the cultivation of skills; 2) the hierarchization (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  33
    Sensitivity to emotion information in children’s lexical processing.Tatiana C. Lund, David M. Sidhu & Penny M. Pexman - 2019 - Cognition 190 (C):61-71.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  22
    Disgust and Intimacy.Tatiana Bužeková & Monika Išová - 2010 - Human Affairs 20 (3):232-240.
    Disgust and Intimacy The aim of the paper is to present the results of preliminary research into the relation between disgust and intimacy. The authors apply current psychological conceptions of the emotions relating to social behaviour, primarily the theory of disgust associated with Paul Rozin, Jonathan Haidt and Clark McCauley. The research was conducted in a community of students living in student halls in Bratislava. The authors argue that social relationships may influence expressions of core disgust and the animal-nature disgust (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  23
    The role of philosophy in a multicultural society: Between reason and imagination.Tatiana Cárová - 2011 - Human Affairs 21 (2):213-219.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  8
    Materially Identical to Mistaken Payment.Tatiana Cutts - 2020 - Canadian Journal of Law and Jurisprudence 33 (1):31-57.
    Mistaken payment is the ‘core case’ of unjust enrichment, and it has had a powerful effect on the development of this area of private law. For Peter Birks, unjust enrichment was simply ‘the law of all events materially identical to mistaken payment’—to be shaped through a process of abstraction from that core case. But this begs the question: how do we work out what counts as ‘materially identical’ to mistaken payment? The most obvious starting point, and that which Birks chose, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Aphorisms, objects, culture.Tatiana Flessas - 2005 - In Peter Goodrich & Mariana Valverde (eds.), Nietzsche and legal theory: half-written laws. New York: Routledge.
     
    Export citation  
     
    Bookmark  
  20.  10
    Ot Ėdipa k Nart︠s︡issu: besedy.Tatiana Goricheva - 2001 - Sankt-Peterburg: Aleteĭi︠a︡. Edited by Daniėlʹ Orlov & Aleksandr Sekat︠s︡kiĭ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  18
    Bioethics in Belarus: Results, Problems and Prospects.Tatiana V. Mishatkina & Yavinga S. Yaskevich - 2015 - Asian Bioethics Review 7 (5):440-453.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  12
    Novel Non-invasive Strategy for Spinal Neuromodulation to Control Human Locomotion.Tatiana Moshonkina, Alexander Grishin, Irina Bogacheva, Ruslan Gorodnichev, Alexander Ovechkin, Ricardo Siu, V. Reggie Edgerton & Yury Gerasimenko - 2021 - Frontiers in Human Neuroscience 14.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  9
    Rola mistycyzmu i myślenia mistycznego u Bertranda Russella.Tatiana Barkovskiy - 2022 - Przeglad Filozoficzny - Nowa Seria:5-26.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  33
    Psychometric Properties of the Eating Disorder Inventory-3 (EDI-3) in Chilean Youth.Paula Lizana-Calderón, Claudia Cruzat-Mandich, Fernanda Díaz-Castrillón, Jesús M. Alvarado & Emilio J. Compte - 2022 - Frontiers in Psychology 13:806563.
    The aim of this study was to analyze the psychometric properties of the Eating Disorder Inventory (EDI)-3 test to evaluate eating disorders in young Chilean population. Methods: The sample consisted of 1,091 Chilean adolescents and young people (i.e., 476 men and 615 women) between 15 and 28 years old, from the metropolitan region, and four regions from the coast and south-central zone of the country. The reliability and factorial structure of the instrument were analyzed, replicating the confirmatory factor analyses ofBrookings (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  16
    Primary Education in Post-Corona Period: New Times - New Trends.Tatiana Dovzhenko - 2020 - Postmodern Openings 11 (2):51-58.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Las Lógicas Mixtas como escape al Problema del Colapso y al Desafío de Quine.Joaquín Santiago Toranzo Calderón - 2020 - Análisis Filosófico 40 (2):247-272.
    En este trabajo presentaré una forma de evitar los problemas más recurrentes en cierta versión del pluralismo lógico, aquella que defiende que incluso considerando un lenguaje fijo existen múltiples sistemas lógicos legítimos. Para ello, será necesario considerar los puntos de partida del programa pluralista y explicitar los problemas que de ellos surgen, principalmente el Desafío de Quine y el Problema del Colapso. Luego, propondré una modificación respecto de lo que se entiende por consecuencia lógica, para poder considerar una familia de (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  10
    ""Between Napoleon and Jesus Christ: the adventures of the" Russian soul" in Dostoevsky's work.Tatiana Bubnova - 2011 - Bakhtiniana 6 (1):210 - 238.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  11
    Voice, sense and dialogue on Bakhtin.Tatiana Bubnova, Roberto Leiser Baronas & Fernanda Tonelli - 2011 - Bakhtiniana 6 (1):268 - 280.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Ensino Médio, Competências e Sociabilidade.Tatiana de Cássia Celestino - 2007 - Quaestio: Revista de Estudos Em Educação 9 (2).
    No categories
     
    Export citation  
     
    Bookmark  
  30.  12
    Editorial: Cognitive reserve, cognitive functioning, and mental health in elderly people.Tatiana Quarti Irigaray, Carmen Moret-Tatay, Mike Murphy & Camila Rosa de Oliveira - 2022 - Frontiers in Human Neuroscience 16:1040675.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  22
    Estrategias de eficiencia en la conservación de lo construido en los espacios naturales protegidos. La experiencia de Doñana.José María Rincón Calderón, Carmen Galán Marín & Domingo Sánchez Fuentes - 2017 - Arbor 193 (786):424.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  13
    The Ethics of World‐Building in Normative Case Studies.Tatiana Geron & Meira Levinson - forthcoming - Educational Theory.
    Normative case studies are designed to offer richly detailed “worlds of possibility” that invite complex reflection and discussion about authentic ethical dilemmas in education. In this essay, Tatiana Geron and Meira Levinson argue that authors' choices of what details to include in a case are themselves ethical decisions that require significant ethical responsibility. Case details can shape which avenues of ethical inquiry are open to readers, whether and how institutional and structural conditions get considered, whose perspectives are included and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. V = L and intuitive plausibility in set theory. A case study.Tatiana Arrigoni - 2011 - Bulletin of Symbolic Logic 17 (3):337-360.
    What counts as an intuitively plausible set theoretic content (notion, axiom or theorem) has been a matter of much debate in contemporary philosophy of mathematics. In this paper I develop a critical appraisal of the issue. I analyze first R. B. Jensen's positions on the epistemic status of the axiom of constructibility. I then formulate and discuss a view of intuitiveness in set theory that assumes it to hinge basically on mathematical success. At the same time, I present accounts of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  34.  67
    Foundational implications of the inner model hypothesis.Tatiana Arrigoni & Sy-David Friedman - 2012 - Annals of Pure and Applied Logic 163 (10):1360-1366.
  35.  59
    Strategic Agency and System Diversity: Conceptualizing Institutional Positioning in Higher Education.Tatiana Fumasoli & Jeroen Huisman - 2013 - Minerva 51 (2):155-169.
    This paper argues that the impact of individual higher education institutions’ strategies on system diversity should be explored. By looking at how universities respond strategically to governmental policies as well as to the actions of other (competing) institutions, our understanding of determinants of diversity can be enriched. A conceptual framework focusing on institutional positioning is explained using the dimensions deliberateness of organizational actions versus environmental influence, on the one hand, and differentiation versus compliance, on the other. We posit institutional positioning (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  38
    Beyond Mixed Logics.Joaquín Toranzo Calderón & Federico Pailos - forthcoming - Logic and Logical Philosophy:1-28.
    In order to define some interesting consequence relations, certain generalizations have been proposed in a many-valued semantic setting that have been useful for defining what have been called pure, mixed and ordertheoretic consequence relations. But these generalizations are insufficient to capture some other interesting relations, like other intersective mixed relations or relations with a conjunctive interpretation for multiple conclusions. We propose a broader framework to define these cases, and many others, and to set a common background that allows for a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  66
    Is Paid Surrogacy a Form of Reproductive Prostitution? A Kantian Perspective.Tatiana Patrone - 2018 - Cambridge Quarterly of Healthcare Ethics 27 (1):109-122.
    :This article reexamines the “prostitution objection” to paid surrogacy, and argues that rebuttals to this objection fail to focus on surrogates as embodied persons. This failure is based on the false distinction between “selling one’s reproductive services” and “selling one’s body.” To ground the analysis of humans as embodied persons, this article uses Kant’s late ethical theory, which develops the conceptual framework for understanding human beings as embodied selves. Literature on surrogacy commonly emphasizes that all Kantian duties heed to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38. "Te enseñaré diferencias" El problema de la comprensión en el segundo Wittgenstein.Tatiana Balistreri - 1995 - Universitas Philosophica 25:81-100.
     
    Export citation  
     
    Bookmark  
  39. Philosophy and power: proceedings of the International Summer Philosophical School, Varna, 29.06-02.07.1992.Tatiana Batoulev, Vasil Prodanov & Angel Stefanov (eds.) - 1992 - [Varna, Bulgaria]: Institute of Philosophical Sciences, Ministry of Education and Science.
  40. La relación entre imágenes y ficción en el pensamiento de Jacques Rancière.Andrea Soto Calderón - 2024 - Pensamiento 79 (306):1823-1841.
    El presente artículo tiene por objeto explorar la relación entre imagen y ficción en el pensamiento de Jacques Rancière. El concepto de ficción ha sido ampliamente desarrollado por Rancière. Desde diversos materiales ha explorado el potencial crítico de la ficción en la configuración de escenas de litigio de lo común, en su cuestionamiento a una lógica de la identidad y en la disputa de un orden establecido. Sin embargo, la recepción crítica que se ha hecho de estos desarrollos se centra (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  4
    Tipicidad y antijuricidad.José Adolfo Reyes Calderón - 2001 - Managua: Editorial Hispamer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  40
    El sentido común en Hannah Arendt: La fuente del sentido de realidad.Cristian Calderón - 2011 - Saga - Revista de Estudiantes de Filosofía 12 (22):25-36.
    La noción de sentido común en la obra de Hannah Arendt juega un papel fundamental a la hora de explicar cómo un hombre del tipo de Adolf Eichmann podía mantener una auténtica incapacidad para pensar. No obstante, la manera como esta autora comprende aquella noción no es plenamente clara: el sentido común se halla aparentemente en un punto medio entre la actividad del pensamiento y el conocimiento científico, pues aun cuando el sentido de realidad proporcionado por el sentido común resulta (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  6
    Cell-to-Cell Communication in the Tip Growth of Mycelial Fungi.Tatiana Potapova - 2012 - In Witzany (ed.), Biocommunication of Fungi. Springer. pp. 103--114.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. False enemies of stability in the political philosophy of the heterogeneous.Tatiana Weiser - 2014 - In Nicole Falkenhayner (ed.), Rethinking Order: Idioms of Stability and de-Stabilization. Bielefeld: Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  45.  29
    Can compliance restart integrity? Toward a harmonized approach. The example of the audit committee.Reyes Calderón, Ricardo Piñero & Dulce M. Redín - 2018 - Business Ethics: A European Review 27 (2):195-206.
    The compliance-based approach and the integrity approach have been the mainstream responses to corporate scandals. This paper proposes that, despite each approach comprising necessary elements, neither offers a comprehensive solution. Compliance and integrity, far from being mutually exclusive, reinforce each other. Working together, in a correct relationship, they build a harmonized system that yields positive synergies and which also advocates prudence. It enables the generation of a culture of compliance that tends to minimize the technical and ethical errors in decision (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  46.  18
    Children, nation and reactors: Imagining and promoting nuclear power in contemporary Ukraine.Tatiana Kasperski - 2019 - Centaurus 61 (1-2):51-69.
    This article examines public communication about atomic energy as an important vector in the political, institutional, and technological transformations of Ukraine's nuclear industry since the breakup of the USSR. It explores the ongoing effort to make the atom more domestic, familiar, human, and accessible against the not-so-distant backdrop of the Chernobyl nuclear disaster in 1986. The central focus of this article is the analysis of children's drawings of nuclear power stations produced for art contests organized by local nuclear information centers. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  12
    Decolonial Movidas: María Lugones's Notion of Decolonial Aesthesis through Cosmologies.Denise Meda Calderon - 2023 - The Pluralist 18 (1):22-31.
    In lieu of an abstract, here is a brief excerpt of the content:Decolonial Movidas: María Lugones’s Notion of Decolonial Aesthesis through CosmologiesDenise Meda CalderonIntroductionMaría Lugones advances a decolonial feminist methodology that allows one to see both dehumanizing social reductions of colonized peoples and the resistant relations operating within non-dominant socialities. By exploring this double “seeing,” I articulate the relationship between resistant socialities and Lugones’s notion of decolonial aesthesis. In her only published text on decolonial aesthesis, Lugones states: “Thinking about aesthesis, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  16
    Las inteligencias múltiples en la educación para sordos.Alicia Agurto Calderón - 2007 - Polis 17.
    En este nuevo contexto social, cultural, político y económico, sin lugar a dudas la educación ha logrado avances en el tema de la reforma educacional y en específico en los cambios de la educación especial. Sin embargo, pese a ello se vuelve trascendental a estas alturas un cambio a nivel paradigmático, respecto a como el sistema educativo concibe el tema de la discapacidad y en específico de la discapacidad auditiva. En especial cuando vemos en un contexto más global que en (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Wspomnienie o kijowskim estetyku A. S. Kanarskym i jego kółku.Tatiana O. Czajka & Wiktor Małachow - 1998 - Colloquia Communia 68 (1):59-64.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  38
    Logic of proofs and provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.
    In the paper the joint Logic of Proofs and Provability is presented that incorporates both the modality □ for provability 287–304) and the proof operator tF representing the proof predicate “t is a proof of F” . The obtained system naturally includes both the modal logic of provability GL and Artemov's Logic of Proofs . The presence of the modality □ requires two new operations on proofs that together with operations of allow to realize all the invariant operations on proofs (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 602