Nursing staff plays a key role in the public health response to the COVID-19 pandemic, being in the front line of care. This study sought to synthesise the qualitative literature on care experiences of frontline nurses during the COVID-19 pandemic. A search was conducted on five databases in January 2021. Fifteen qualitative studies met the inclusion criteria and were included in the research, being submitted to interpretive meta-synthesis according to the eMERGe guide. The final synthesis included a line of argument (...) that shows the experiences of frontline nurses during the COVID-19 pandemic, divided into three major themes: ‘Instability on the edge of a cliff: unpredictable and unknown context,’ ‘The price of walking the tightrope: the uncertainty surrounding care,’ and ‘Finding the balance to reach the other side: dealing with the emotional demands of care.’ Although essential in the health response to the COVID-19 pandemic, nurses experienced an emotional impact arising from the hampered care provision. Our results point to need for strengthening the training of nurses and future nurses, creating and promoting measures that contribute to their psycho-emotional well-being, ensuring a safe environment for their clinical practice, and promoting their participation in decision-making processes. (shrink)

Uno de los componentes más importantes del proceso de enseñanza-aprendizaje de los estudios de Arquitectura Técnica es la realización de un proyecto final que aglutina todos los conocimientos y competencias desarrollados en las diferentes disciplinas que configuran el Plan de Estudios. El objetivo de esta propuesta es visualizar la evolución del proceso de enseñanza y aprendizaje en el Proyecto Fin de Grado en los estudios de Arquitectura Técnica e Ingeniería de Edificación de la Universidad de Burgos, mostrando las diferentes adaptaciones (...) de los contenidos y la tipología elegida para su desarrollo. (shrink)

RESUMEN Introducción: La educación en el trabajo es la forma fundamental del proceso docente educativo en las carreras de las ciencias médicas y en específico para la asignatura de Medicina Comunitaria de la carrera de Medicina. Objetivo: Exponer elementos referidos a una guía didáctica para la educación en el trabajo de la asignatura Medicina Comunitaria. Método: Se diseñó una guía didáctica para la educación en el trabajo, desde la asignatura Medicina Comunitaria. Se interactuó con estudiantes de segundo año de la (...) carrera de Medicina, la cuak abarcó 4 etapas. Resultados: Se ofrecen las tareas con sus objetivos y acciones a cumplimentar por los estudiantes, amparados por la guía actual de confección del Análisis de la Situación de Salud. Conclusiones: La guía constituye una herramienta que posibilita la realización de las actividades de la educación en el trabajo a la vez que permite el logro de competencias profesionales. ABSTRACT Introduction: The education in the work is the fundamental form of the educational teaching process in the careers of the medical sciences and in specific for the subject of Community Medicine of the career of Medicine. Objective: To exhibit elements referred to a didactic guide for the education in the work of the Community Medicine subject. Method: A didactic guide was designed for the education in the work, from the Community Medicine subject. It was interacted with students of the second year of the career of Medicine, which included 4 stages. Results: The tasks are offered with their objectives and actions to complete for the students protected by the current guide of preparation of the Analysis of the Situation of Health. Conclusions: The guide constitutes a tool that makes possible the achievement of the activities of the education in the work, simultaneously it allows the achievement of professional competitions. (shrink)

Interpretando a Nietzsche, podríamos afirmar que la embriaguez dionisíaca le posibilita al humano dirigirse afectivamente hacia lo externo, borrando incluso y paradójicamente ese límite que determinaría dónde empieza su ser y dónde aquello a lo que su ser es empujado. Trías recoge esta determinación en un concepto clave de su filosofía al denominarnos “ser del límite”. En ambos filósofos somos radicalmente pasión creadora; somos un animal límite y caótico, sufriente por queriente, y potencialmente feliz por el mismo motivo. Está en (...) nuestras manos investigar, tras el reconocimiento de esta condición estética, sensible e insalvable de lo humano, cómo vivir. (shrink)

El presente estudio se realizó con el objetivo de evaluar el impacto del estrés emocional en la adecuada toma de decisiones y práctica médica oportuna y de calidad de los estudiantes que cursan el quinto año de la carrera en la Facultad de Medicina de la Universidad Nacional Autónoma de México. Se utilizó una lista de valoración para las competencias de la simulación de reanimación cardiopulmonar avanzada, y un Cuestionario de Maslach Burnout Inventory para valorar los sentimientos, actitudes y de (...) desgaste profesional. Los resultados muestran que aquellos que estaban expuestos a mayor cantidad de labores recientes y estrés fueron más propensos de incidir en errores médicos durante la toma de decisiones y su aprendizaje. This study was conducted with the aim of assessing the impact of emotional stress in the appropriate decision-making and quality medical practice of fifth year medical students from the Faculty of Medicine of the National Autonomous University of Mexico. It was used an assessment list for cardiopulmonary resuscitation simulation competence and a Maslach Burnout Inventory Questionnaire was used to assess feelings, attitudes and professional wear and tear. Results show those who were exposed to a greater number of recent tasks and to greater stress were more likely to make medical mistakes while making decisions and learning. (shrink)

There is an increasing demand for ethical and Corporate Social Responsibility practices by companies. This competence has to be introduced in students’ training in business degree programs, and a check must then be done to determine if the students have come to appreciate the importance of CSR commitments. Using the framework of Stakeholders Theory, this work aims to examine students’ perceptions of ethical and CSR practices and commitment to different stakeholders, as well as the factors that lead students to act (...) in a socially responsible way. Furthermore, we hope to identify how the perception of CSR can be improved when Web 2.0 and social media tools that have proven effective in transmitting emotions and values are used in classrooms to teach these ideas. To this end, a survey was carried out in the year 2019 with 1,030 first-year students; it was administered at the beginning of the semester and also at the end of the semester after the training activities had been carried out. The main finding of the research is that students start with the belief that ethics and CSR are developed for reasons of image and legitimacy; however, after receiving training on these topics through tools that take into account emotions and values, they start to value the importance of the company as an agent of social change. The main practical and managerial implication is that methods based on Web 2.0 and social media tools are useful to teach ethics and CSR; the theoretical contribution is that students take into account the welfare of others. This finding contributes to Stakeholder Theory in a higher education context. (shrink)

El objetivo de este proyecto es implementar una metodología de aprendizaje cooperativo en el entorno universitario con una estrategia de gamificación que promueva cambios conductuales en los estudiantes. La herramienta de estímulo es una innovada práctica de doble corrección que incorpora el concepto de diversión. A los datos obtenidos se les aplicó el estadístico Chi-cuadrado. Además, se realizó a los estudiantes un cuestionario, sobre las competencias adquiridas, al que se aplicó el test U de Mann Whitney. Tras el análisis de (...) los datos resultantes se corrobora que la estrategia implementada mejora las habilidades interpersonales y el rendimiento académico. (shrink)

El artículo describe aspectos significativos de la conformación histórica del método clínico y hace referencia a personalidades que influyeron desde la medicina hipocrática hasta el siglo XX, detallándose los valores éticos y morales que lo caracterizaban y sus desafíos ante la sociedad. Se significa la necesidad de una reforma de pensamiento de los profesionales de la Medicina, que permita abrir nuevas perspectivas y contribuya a la reflexión siendo revertido en una conducta humanista y atención médica con calidad, con la respectiva (...) satisfacción de la población tal como se pide en los lineamientos del Partido. The article describes significant aspects of the historical formation of the clinical method and refers to personalities that influenced since The Hippocratic Medicine until the 20th Century, making emphasis on the ethical and moral values that characterized it and its challenges before the society. The need for a reform of the medical professionals thinking is meant, which allows to open new perspectives and contributes to the reflection being reversed in a humanist behaviour and a qualified medical care, with the respective satisfaction of the population as requested in the guidelines of the party. (shrink)

El artículo pretende analizar, a través de la historia, la cuestión de la patologización trans*, que ha contado y cuenta con una oposición bastante amplia por parte de diversos colectivos. El debate político de la cuestión (por medio de la petición de normativas y leyes que regulen determinados aspectos de la identidad) hace que una cuestión individual como es la identidad haya pasado a ser un tema colectivo. Que sea asunto colectivo hace que sea imposible desligar la biología de la (...) medicina, el derecho o la política. Es esta interdisciplinariedad lo que dota hoy en día a la cuestión trans* de tanta relevancia, tampoco exenta de polémica con otros movimientos sociales, como las redes sociales han venido mostrando últimamente. No obstante, es la gran visibilidad que ha obtenido por diferentes medios la cuestión trans* lo que la hace susceptible de múltiples análisis, que, como se ha dicho anteriormente, no se limitan a una única disciplina o a un único punto de vista. (shrink)

El trabajo desarrollado en este artículo muestra una experiencia docente basada en la Metodología Activa del Aprendizaje Basado en Proyectos en la asignatura de Instalaciones II de la titulación del Grado en Arquitectura Técnica de la Universidad de Burgos. Para alcanzar la excelencia del proceso de enseñanza y aprendizaje, se ha diseñado una metodología de trabajo basada en el desarrollo progresivo de un Proyecto de Ejecución mediante subproyectos, con el objetivo de conseguir mejores resultados en el proceso de aprendizaje mediante (...) el desempeño personal, la retroalimentación de procesos y el trabajo cooperativo, todo ello orientado a la excelencia académica y profesional de los estudiantes. Los resultados obtenidos muestran que el ABP es una excelente metodología para el proceso de enseñanza-aprendizaje de la asignatura de Instalaciones II y para el futuro desempeño profesional de los estudiantes. (shrink)

Different types of consent are used to obtain human biospecimens for future research. This variation has resulted in confusion regarding what research is permitted, inadvertent constraints on future research, and research proceeding without consent. The National Institutes of Health Clinical Center's Department of Bioethics held a workshop to consider the ethical acceptability of addressing these concerns by using broad consent for future research on stored biospecimens. Multiple bioethics scholars, who have written on these issues, discussed the reasons for consent, the (...) range of consent strategies, and gaps in our understanding, and concluded with a proposal for broad initial consent coupled with oversight and, when feasible, ongoing provision of information to donors. This article describes areas of agreement and areas that need more research and dialogue. Given recent proposed changes to the Common Rule, and new guidance regarding storing and sharing data and samples, this is an important and tim.. (shrink)

The fast–slow paradigm of life history focuses on how individuals grow, mate, and reproduce at different paces. This paradigm can contribute substantially to the field of personality and individual differences provided that it is more strictly based on evolutionary biology than it has been so far. Our study tested the existence of a fast–slow continuum underlying indicators of reproductive effort—offspring output, age at first reproduction, number and stability of sexual partners—in 1,043 outpatients with healthy to severely disordered personalities. Two axes (...) emerged reflecting a double-track pathway to fast strategy, based on restricted and unrestricted sociosexual strategies. When rotated, the fast–slow and sociosexuality axes turned out to be independent. Contrary to expectations, neither somatic effort—investment in status, material resources, social capital, and maintenance/survival—was aligned with reproductive effort, nor a clear tradeoff between current and future reproduction was evident. Finally, we examined the association of LH axes with seven high-order personality pathology traits: negative emotionality, impulsivity, antagonism, persistence-compulsivity, subordination, and psychoticism. Persistent and disinhibited subjects appeared as fast-restricted and fast-unrestricted strategists, respectively, whereas asocial subjects were slow strategists. Associations of LH traits with each other and with personality are far more complex than usually assumed in evolutionary psychology. (shrink)

It is a matter of fact that Europe is facing more and more crucial challenges regarding health and social care due to the demographic change and the current economic context. The recent COVID-19 pandemic has stressed this situation even further, thus highlighting the need for taking action. Active and Assisted Living technologies come as a viable approach to help facing these challenges, thanks to the high potential they have in enabling remote care and support. Broadly speaking, AAL can be referred (...) to as the use of innovative and advanced Information and Communication Technologies to create supportive, inclusive and empowering applications and environments that enable older, impaired or frail people to live independently and stay active longer in society. AAL capitalizes on the growing pervasiveness and effectiveness of sensing and computing facilities to supply the persons in need with smart assistance, by responding to their necessities of autonomy, independence, comfort, security and safety. The application scenarios addressed by AAL are complex, due to the inherent heterogeneity of the end-user population, their living arrangements, and their physical conditions or impairment. Despite aiming at diverse goals, AAL systems should share some common characteristics. They are designed to provide support in daily life in an invisible, unobtrusive and user-friendly manner. Moreover, they are conceived to be intelligent, to be able to learn and adapt to the requirements and requests of the assisted people, and to synchronise with their specific needs. Nevertheless, to ensure the uptake of AAL in society, potential users must be willing to use AAL applications and to integrate them in their daily environments and lives. In this respect, video- and audio-based AAL applications have several advantages, in terms of unobtrusiveness and information richness. Indeed, cameras and microphones are far less obtrusive with respect to the hindrance other wearable sensors may cause to one’s activities. In addition, a single camera placed in a room can record most of the activities performed in the room, thus replacing many other non-visual sensors. Currently, video-based applications are effective in recognising and monitoring the activities, the movements, and the overall conditions of the assisted individuals as well as to assess their vital parameters. Similarly, audio sensors have the potential to become one of the most important modalities for interaction with AAL systems, as they can have a large range of sensing, do not require physical presence at a particular location and are physically intangible. Moreover, relevant information about individuals’ activities and health status can derive from processing audio signals. Nevertheless, as the other side of the coin, cameras and microphones are often perceived as the most intrusive technologies from the viewpoint of the privacy of the monitored individuals. This is due to the richness of the information these technologies convey and the intimate setting where they may be deployed. Solutions able to ensure privacy preservation by context and by design, as well as to ensure high legal and ethical standards are in high demand. After the review of the current state of play and the discussion in GoodBrother, we may claim that the first solutions in this direction are starting to appear in the literature. A multidisciplinary debate among experts and stakeholders is paving the way towards AAL ensuring ergonomics, usability, acceptance and privacy preservation. The DIANA, PAAL, and VisuAAL projects are examples of this fresh approach. This report provides the reader with a review of the most recent advances in audio- and video-based monitoring technologies for AAL. It has been drafted as a collective effort of WG3 to supply an introduction to AAL, its evolution over time and its main functional and technological underpinnings. In this respect, the report contributes to the field with the outline of a new generation of ethical-aware AAL technologies and a proposal for a novel comprehensive taxonomy of AAL systems and applications. Moreover, the report allows non-technical readers to gather an overview of the main components of an AAL system and how these function and interact with the end-users. The report illustrates the state of the art of the most successful AAL applications and functions based on audio and video data, namely lifelogging and self-monitoring, remote monitoring of vital signs, emotional state recognition, food intake monitoring, activity and behaviour recognition, activity and personal assistance, gesture recognition, fall detection and prevention, mobility assessment and frailty recognition, and cognitive and motor rehabilitation. For these application scenarios, the report illustrates the state of play in terms of scientific advances, available products and research project. The open challenges are also highlighted. The report ends with an overview of the challenges, the hindrances and the opportunities posed by the uptake in real world settings of AAL technologies. In this respect, the report illustrates the current procedural and technological approaches to cope with acceptability, usability and trust in the AAL technology, by surveying strategies and approaches to co-design, to privacy preservation in video and audio data, to transparency and explainability in data processing, and to data transmission and communication. User acceptance and ethical considerations are also debated. Finally, the potentials coming from the silver economy are overviewed. (shrink)

_The Promise of Happiness_ is a provocative cultural critique of the imperative to be happy. It asks what follows when we make our desires and even our own happiness conditional on the happiness of others: “I just want you to be happy”; “I’m happy if you’re happy.” Combining philosophy and feminist cultural studies, Sara Ahmed reveals the affective and moral work performed by the “happiness duty,” the expectation that we will be made happy by taking part in that which (...) is deemed good, and that by being happy ourselves, we will make others happy. Ahmed maintains that happiness is a promise that directs us toward certain life choices and away from others. Happiness is promised to those willing to live their lives in the right way. Ahmed draws on the intellectual history of happiness, from classical accounts of ethics as the good life, through seventeenth-century writings on affect and the passions, eighteenth-century debates on virtue and education, and nineteenth-century utilitarianism. She engages with feminist, antiracist, and queer critics who have shown how happiness is used to justify social oppression, and how challenging oppression causes unhappiness. Reading novels and films including_ Mrs. Dalloway_, _The Well of Loneliness_, _Bend It Like Beckham_, and _Children of Men_, Ahmed considers the plight of the figures who challenge and are challenged by the attribution of happiness to particular objects or social ideals: the feminist killjoy, the unhappy queer, the angry black woman, and the melancholic migrant. Through her readings she raises critical questions about the moral order imposed by the injunction to be happy. (shrink)

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...) to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. (shrink)

A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics is presented. The method covers all modal logics characterized by Kripke frames determined by universal or geometric properties and it can be extended to treat also Gödel-Löb provability logic. The calculi provide direct decision methods through terminating proof search. Syntactic proofs of modal undefinability results are obtained in the form of conservativity theorems.

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim (...) is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians. (shrink)

The COVID-19 global health emergency has greatly impacted the educational field. Faced with unprecedented stress situations, professors, students, and families have employed various coping and resilience strategies throughout the confinement period. High and persistent stress levels are associated with other pathologies; hence, their detection and prevention are needed. Consequently, this study aimed to design a predictive model of stress in the educational field based on artificial intelligence that included certain sociodemographic variables, coping strategies, and resilience capacity, and to study the (...) relationship between them. The non-probabilistic snowball sampling method was used, involving 337 people from the university education community in south-eastern Spain. The Perceived Stress Scale, Stress Management Questionnaire, and Brief Resilience Scale were administered. The Statistical Package for the Social Sciences was used to design the architecture of artificial neural networks. The results found that stress levels could be predicted by the synaptic weights of coping strategies and timing of the epidemic, with a predictive capacity of over 80% found in the neural network model. Additionally, direct and significant associations were identified between the use of certain coping strategies, stress levels, and resilience. The conclusions of this research are essential for effective stress detection, and therefore, early intervention in the field of educational psychology, by discussing the influence of resilience or lack thereof on the prediction of stress levels. Identifying the variables that maintain a greater predictive power in stress levels is an effective strategy to design more adjusted prevention programs and to anticipate the needs of the community. (shrink)

A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...) with equality in which also cuts on the equality axioms are eliminated. (shrink)

Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato. Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.

The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.

Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding frame class (...) is found. The method is a synthesis of a generation of calculi with internalized relational semantics, a Tait–Schütte–Takeuti style completeness proof, and procedures to finitize the countermodel construction. Finitizations for intuitionistic propositional logic are obtained through the search for a minimal derivation, through pruning of infinite branches in search trees by means of a suitable syntactic counterpart of semantic filtration, or through a proof-theoretic embedding into an appropriate provability logic. A number of examples illustrates the method, its subtleties, challenges, and present scope. (shrink)

‘Intersectionality’ has now become a major feature of feminist scholarly work, despite continued debates surrounding its precise definition. Since the term was coined and the field established in the late 1980s, countless articles, volumes and conferences have grown out of it, heralding a new phase in feminist and gender studies. Over the past few years, however, the growing number of critiques leveled against intersectionality warrants us as feminists to pause and reflect on the trajectory the concept has taken and on (...) the ways in which it has traveled through time and space. Conceptualizing intersectionality as a traveling theory allows for these multiple critiques to be contextualized and addressed. It is argued that the context of the neoliberal academy plays a major role in the ways in which intersectionality has lost much of its critical potential in some of its usages today. It is further suggested that Marxist feminism offers an important means of grounding intersectionality critically and expanding intersectionality’s ability to engage with feminism transnationally. (shrink)

Large portions of mathematics such as algebra and geometry can be formalized using first-order axiomatizations. In many cases it is even possible to use a very well-behaved class of first-order axioms, namely, what are called coherent or geometric implications. Such class of axioms can be translated to inference rules that can be added to a sequent calculus while preserving its structural properties. In this work, this fundamental result is extended to their infinitary generalizations as extensions of sequent calculi for both (...) classical and intuitionistic infinitary logic. As an application, a simple proof of the infinitary Barr’s theorem without the axioms of choice is shown. (shrink)

A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...) with equality in which also cuts on the equality axioms are eliminated. (shrink)

Decolonial/anti-colonial Black, Indigenous and Mestiza feminist movements and scholar-activists foreground how the oft-touted apocalypse that the Covid-19 pandemic heralds is not new, nor does it signify the great rupture into chaos that those from within modernity-coloniality often claim it to be. Rather Covid-19 is preceded by and will be out-lived by the apocalyptic anti-life onto-epistemological logics that are foundational to the production of hetero-patriarchal capitalist- coloniality. However, one would commit the violence of reproduction of the epistemological logics and rationalities constitutive (...) of the current system if the story ended there. We have survived and our survival points to the urgent necessity and responsibility of social theory to listen to the story of the pandemic from a Black/Indigenous genealogy and to begin the sense-making of the Covid-19 pandemic, from prior to this particular virus, outside, against and beyond the politics of knowledge of critical social theory itself. Thus, I invite you to journey to an affirmative re-enfleshment of reason and theory-making in relation to and dialogue with Black, Indigenous, and subaltern Mestiza feminist movements in southwest Colombia and in southeast so-called Australia in the unceded lands of the Awabakal and the Worimi. I explore this through the metaphor, the materiality, the cosmology and the herstory of the mangrove swamps a knowing-being otherwise visible to the dehumanising gave of Whiteness and bring to thought three stories of a politics of knowledge of/as the Black/racialised and feminised body/flesh. To do this is to suggest that the co-creation of pathways which are life affirming and life making beyond and out of the post-Covid 19 conjuncture involves an epistemological-political project which decolonises and feminises the containments of reason and knowing being of coloniality/modernity. (shrink)

This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces labelled sequent calculi based on neighbourhood semantics for the first-order extension, with both varying and constant domains, of monotone NNML, and studies the role of the Barcan formulas in these calculi. It will be shown that the calculi introduced have good structural properties: invertibility of the rules, height-preserving admissibility of weakening and contraction and syntactic cut elimination. It will also be shown that each of the calculi introduced (...) is sound and complete with respect to the appropriate class of neighbourhood frames. In particular, the completeness proof constructs a formal derivation for derivable sequents and a countermodel for non-derivable ones, and gives a semantic proof of the admissibility of cut. (shrink)

A relation between two secrets, known in the literature as nondeducibility , was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call independence . This paper proposes a formal logical system for the independence relation, proves the completeness of the system with respect to a semantics of secrets, and shows that all axioms of the system are logically independent.

The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.

En los últimos treinta años se ha transitado desde una concepción del capital humano como una macromagnitud económica a una idea de capital humano corporeizada en el individuo. Hemos asistido a una progresiva infiltración de dicha ideología del capital humano también en la vida de la juventud precaria. Nos centramos aquí en los jóvenes universitarios, para quienes el capital humano, ya de forma hegemónica, dirige y marca sus recorridos laborales y vitales. El análisis de los discursos de estos jóvenes nos (...) permitirá explorar desde la imposición de la lógica de la movilidad laboral, a la sujeción a las formas de "emprendedor de sí mismo" y a la normalización, como parte del proceso de incorporación de capital humano, de formas de empleo progresivamente al margen de los derechos y garantías laborales clásicas del trabajo salariado.In the last thirty years it has been gone from a conception of the human capital as an economic macro magnitude to an idea of human capital embodied in the individuals. We have been witnesses of the progressive infiltration of this ideology of the human capital also in the life of precarious youth. We focus in the university young people, for those who the human capital, already of hegemonic form, directs and marks its labour and vital routes. The analysis of the discourses of these young people will allow us to explore the imposition of the logic of labour mobility, the subjection to the forms of «entrepreneur of itself» and also the normalization of forms of work progressively excluded from the rights and classic labour guarantees as a part of the process of incorporation of human capital. (shrink)

The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination.

This original article outlines a theoretical path and posterior critical analysis regarding two relevant matters in modern nursing: patterns of knowing in nursing and commodification contexts in contemporary health systems. The aim of our manuscript is to examine the development of basic and contextual nursing knowledge in commodified contexts. For this purpose, we outline a discussion and reflexive dialogue based on a literature search and our clinical experience. To lay the foundation for an informed discussion, we conducted a literature search (...) and selected relevant articles in English, Spanish, and Portuguese that included contents on patterns of knowing, commodification, and nursing published from 1978 to 2017. Globalization, commodification, and austerity measures seem to have negative effects on nursing. Work conditions are worsening, deteriorating nurse–patient relationships, and limiting reflection on practice. Nurses must develop knowledge to challenge and participate in institutional organization and public health policies. Development of nursing knowledge may be difficult to achieve in commodified environments. Consequently, therapeutic care relationships, healthcare services, and nurses' own health are compromised. However, by obtaining organizational, sociopolitical, and emancipatory knowledge, nurses can use strategies to adapt to or resist commodified contexts while constructing basic knowledge. (shrink)

A proof-theoretical analysis of elementary theories of order relations is effected through the formulation of order axioms as mathematical rules added to contraction-free sequent calculus. Among the results obtained are proof-theoretical formulations of conservativity theorems corresponding to Szpilrajn’s theorem on the extension of a partial order into a linear one. Decidability of the theories of partial and linear order for quantifier-free sequents is shown by giving terminating methods of proof-search.

Contraction-free sequent calculi for intuitionistic theories of apartness and order are given and cut-elimination for the calculi proved. Among the consequences of the result is the disjunction property for these theories. Through methods of proof analysis and permutation of rules, we establish conservativity of the theory of apartness over the theory of equality defined as the negation of apartness, for sequents in which all atomic formulas appear negated. The proof extends to conservativity results for the theories of constructive order over (...) the usual theories of order. (shrink)