Nowadays, batteries play an important role in a lot of different applications like energy storage, electro-mobility, consumer electronic and so on. All the battery types have a common factor that is their complexity, independently of its nature. Usually, the batteries have an electrochemical nature. Several different test are accomplished to check the batteries performance, and commonly, it is predictable how they work depending of their technology. The present research describes the hybrid intelligent system created to accomplish fault detection over a (...) Lithium Iron Phosphate—LiFePO4 power cell type, commonly used in electro-mobility applications. The approach is based on the cell temperatures behaviour for voltage and current specific values. Taken into account the operating range of a real system based on a LiFePO4 cell, a large set of points of operation have been used to achieve the dataset. The different behaviour zones have been obtained by clustering as a first step. Then, different regression techniques have been used over each cluster. Polynomial regression, artificial neural networks and support vector regression were the combined techniques to develop the hybrid intelligent model proposed. The intelligent system gives very good results over the operating range, detecting all the faults tested during the validation. (shrink)

A prepositional logic S has the Converse Ackermann Property (CAP) if (AB)C is unprovable in S when C does not contain . In A Routley-Meyer semantics for Converse Ackermann Property (Journal of Philosophical Logic, 16 (1987), pp. 65–76) I showed how to derive positive logical systems with the CAP. There I conjectured that each of these positive systems were compatible with a so-called semiclassical negation. In the present paper I prove that this conjecture was right. Relational Routley-Meyer type semantics are (...) provided for each one of the resulting systems (the positive systems plus the semiclassical negation). (shrink)

Running marathons is an increasingly popular activity with an ever-increasing number of events and participants. Many participants declare that they pursue a variety of goals by running, namely, the maintenance of good health, the development of strength and improvement of fitness, the management of emotions, and the achievement of resilience and psychological wellbeing. The research has examined marathon running, like many other sports, and has studied various factors that reduce athletic performance, such as the experience of anxiety, and that enhance (...) such performance, such as an increase in general wellbeing. This article reports the results of a study on the experience of competitive anxiety among 238 male marathon runners who participated in Seville’s 26th Marathon race on February 23, 2020, and investigates the relationship between anxiety and key dimensions of wellbeing as measured by the Spanish-adapted 20-item PWB Scale. We hypothesized that participating athletes who rated high on the dimensions of PWB would experience lower levels of competitive anxiety with respect to this race. We also proposed that PWB would function as a mediating factor with respect to the experience of anxiety. The results show, as hypothesized, that marathon running enhances wellbeing and reduces anxiety. The data showed significant negative correlations between four of five wellbeing dimensions and the three types of anxiety measured, namely, somatic anxiety, worry, and concentration-impairing anxiety. Other findings supported our hypothesis that wellbeing, as measured, functions as a mediating factor for the moderation of competitive anxiety. Generalization of these findings is limited by the fact that the low number of female participants recruited did not permit valid statistical analyses in this respect. It is known that both anxiety and wellbeing are subjects to variation by gender. The future inclusion of male and female subjects in equivalent studies will undoubtedly add valuable information concerning the dynamics of anxiety and wellbeing. The implications of these findings and the limitations of the study will be discussed. (shrink)

En el escenario actual de Cuba y el mundo la migración al software libre constituye una necesidad para el desarrollo para garantizar la independencia tecnológica. Los procedimientos para realizar dicho proceso son fundamentales en la estrategia definida por el país que incluye la "Guía cubana de migración al software libre", sin embargo, su aplicación práctica enfrenta dificultades que han motivado a los autores a la elaboración de una estrategia específica para la migración al software libre en el sector de la (...) Salud Pública de la provincia de Camagüey, Cuba. En esta estrategia se proponen las acciones concretas, los programas docentes que permitirán la recalificación del capital humano y las acciones que posibiliten garantizar la sostenibilidad de la migración al concluir el proceso. In the present Cuban and world scenarios the migration to free software constitutes a need for the development to guarantee technological independence. The procedures to carry out that process are vital in the strategy defined by the country that includes “Cuban guidelines for the migration to free software” however its practical implementation is facing difficulties that have motivated the authors to elaborate a specific strategy form the migration to free software in the Public health sector in the province of Camagüey, Cuba. In this strategy actions are suggested, like teaching programs that will allow the recertification of the capital human resources and steps that will make possible to guarantee the sustainability of the migration at the end of the process. (shrink)

Business ethics has become a very important concern in global business and understanding the effects of various factors on ethical judgments continues to attract research and practitioner attention. Using the Multidimensional Ethics Scale with its five generally accepted philosophical constructs, and vignettes developed by Cohen et al., current study investigates the relationship between cultural values, personality, religiosity and the ethical sensitivity of business students. We focus on a rapidly emerging country, Turkey, whose economic environment is similar to that of the (...) most Western nations but with a significantly different background and cultural values. Data for the study is collected from a major university in the southeastern Turkey. Although some significant relationships are identified between ethical sensitivity and cultural values and personality, our study findings confirm that MES dimensions had the highest influence on ethical sensitivity levels of business students. (shrink)

This paper offers a particular intuitionistic negation completion of Urquhart's system C resulting in a super-intuitionistic contractionless propositional logic equivalent to Dummett's LC without contraction.

Etude de l'extension par la negation semi-intuitionniste de la logique positive des propositions appelee logique C, developpee par A. Urquhart afin de definir une semantique relationnelle valable pour la logique des valeurs infinies de Lukasiewicz (Lw). Evitant les axiomes de contraction et de reduction propres a la logique classique de Dummett, l'A. propose une semantique de type Routley-Meyer pour le systeme d'Urquhart (CI) en tant que celle-la ne fournit que des theories consistantes pour la completude de celui-ci.

La filosofía griega recibida, en sus diversas modulaciones (la judeocristiana entre ellas), abrió un mundo cuya decadencia como ideal regulador de nuestro acceso a lo que hay (acceso teórico, práctico, estético, triple «mirar» encadenado de origen él mismo griego) tiene importantes consecuencias para nuestro concepto de realidad y el papel que han de jugar en él nociones determinantes como la de experiencia.

A large part of technological advances, especially in the field of industry, have been focused on the optimization of productive processes. However, the detection of anomalies has turned out to be a great challenge in fields like industry, medicine or stock markets. The present work addresses anomaly detection on a control level plant. We propose the application of different intelligent techniques, which allow to obtain one-class classifiers using real data taken from the correct plant operation. The performance of each classifier (...) is assessed and validated with real created faults, achieving successful overall results. (shrink)

The aim of this paper is to introduce an alternative to Łukasiewicz’s 4-valued modal logic Ł. As it is known, Ł is afflicted by “Łukasiewicz type paradoxes”. The logic we define, PŁ4, is a strong paraconsistent and paracomplete 4-valued modal logic free from this type of paradoxes. PŁ4 is determined by the degree of truth-preserving consequence relation defined on the ordered set of values of a modification of the matrix MŁ characteristic for the logic Ł. On the other hand, PŁ4 (...) is a rich logic in which a number of connectives can be defined. It also has a simple bivalent semantics of the Belnap–Dunn type. (shrink)

The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property . Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed.

One of the main challenges in medicine is to guarantee an appropriate drug supply according to the real needs of patients. Closed-loop strategies have been widely used to develop automatic solutions based on feedback variables. However, when the variable of interest cannot be directly measured or there is a lack of knowledge behind the process, it turns into a difficult issue to solve. In this research, a novel algorithm to approach this problem is presented. The main objective of this study (...) is to provide a new general algorithm capable of determining the influence of a certain clinical variable in the decision making process for drug supply and then defining an automatic system able to guide the process considering this information. Thus, this new technique will provide a way to validate a given physiological signal as a feedback variable for drug titration. In addition, the result of the algorithm in terms of fuzzy rules and membership functions will define a fuzzy-based decision system for the drug delivery process. The method proposed is based on a Fuzzy Inference System whose structure is obtained through a decision tree algorithm. A four-step methodology is then developed: data collection, preprocessing, Fuzzy Inference System generation, and the validation of results. To test this methodology, the analgesia control scenario was analysed. Specifically, the viability of the Analgesia Nociception Index as a guiding variable for the analgesic process during surgical interventions was studied. Real data was obtained from fifteen patients undergoing cholecystectomy surgery. (shrink)

A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true, etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising in Łm4.

En este trabajo, se propone una clasificación epistemológica teórica para el discurso astrológico a partir de evidencia empírica a fin de abordar el problema de cómo determinar específicamente qué es lo que lo hace ilegítimo. A partir de esta clasificación, se diseñó una intervención didáctica, enmarcada en el enfoque de Enseñanza de las Ciencias Naturales en Contexto (ECNC), con el objetivo de fomentar, en estudiantes de nivel secundario, la capacidad de distinguir enunciados cognoscitivamente ilegítimos -por infalsables o por falsos- respecto (...) de aquellos que pueden constituir genuino conocimiento científico. La secuencia didáctica se implementó con un grupo de 51 estudiantes de 14 a 17 años. Se evaluó su impacto por comparación entre un pretest y un postest. Los resultados mostraron que su capacidad de discernimiento entre enunciados falsables y no falsables se incrementó apreciablemente. (shrink)

Łukasiewicz presented two different analyses of modal notions by means of many-valued logics: the linearly ordered systems Ł3,..., Open image in new window,..., \; the 4-valued logic Ł he defined in the last years of his career. Unfortunately, all these systems contain “Łukasiewicz type paradoxes”. On the other hand, Brady’s 4-valued logic BN4 is the basic 4-valued bilattice logic. The aim of this paper is to show that BN4 can be strengthened with modal operators following Łukasiewicz’s strategy for defining truth-functional (...) modal logics. The systems we define lack “Łukasiewicz type paradoxes”. Following Brady, we endow them with Belnap–Dunn type bivalent semantics. (shrink)

The aim of this paper is to define the logical system Sm4 characterised by the degree of truth-preserving consequence relation defined on the ordered set of values of Smiley’s four-element matrix MSm4. The matrix MSm4 has been of considerable importance in the development of relevant logics and it is at the origin of bilattice logics. It will be shown that Sm4 is a most interesting paraconsistent logic which encloses a sound theory of logical necessity similar to that of Anderson and (...) Belnap’s logic of entailment E. Intuitively, Sm4 can be described as a four-valued expansion of the positive fragment of Lewis’ S5 or, alternatively, as a four-valued version of S5. (shrink)

As it is well known, in the forties of the past century, Curry proved that in any logic S closed under Modus Ponens, uniform substitution of propositional variables and the Contraction Law, the naïve Comprehension axiom trivializes S in the sense that all propositions are derivable in S plus CA. Not less known is the fact that, ever since Curry published his proof, theses and rules weaker than W have been shown to cause the same effect as W causes. Among (...) these, the Contraction rule or the Modus Ponens axiom, for example, are to be noted. But, moreover, as Brady has proved, even the Generalized Modus Ponens axiom or the Generalized Contraction rule give rise to “Curry’s Paradox” under the same circumstances as W does. In some previous work by us, “weak relevant model structures” are defined on “weak relevant matrices” by generalizing Brady’s model structure MCL built upon Meyer’s Crystal matrix CL. We have proved that wr-ms only verify logics with the “depth relevance condition”. The aim of this paper is to show how to falsify gMPa and gRW in certain wr-ms. In particular, it will be shown that gMPa is falisfied in any wr-ms and gRW in any wr-ms verifying Routley and Meyer’s basic positive logic B+. (shrink)

The logic B+ is Routley and Meyer’s basic positive logic. We define the logics BK+ and BK'+ by adding to B+ the K rule and to BK+ the characteristic S4 axiom, respectively. These logics are endowed with a relatively strong non-constructive negation. We prove that all the logics defined lack the K axiom and the standard paradoxes of consistency.

The aim of this paper is to provide a Routley-Meyer semantics for Ackermann’s logics of “strenge Implikation” Π ′ and Π ′′ . Besides the Disjunctive Syllogism, this semantics validates the rules Necessitation and Assertion. Strong completeness theorems for Π ′ and Π ′′ are proved. A brief discussion on Π ′ , Π ′′ and paraconsistency is included.

ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with two (...) designated elements. (shrink)

This is a correction to: Gemma Robles, José M. Méndez, A note on functional relations in a certain class of implicative expansions of FDE related to Brady’.

We consider the logics determined by the set of all natural implicative expansions of Kleene’s strong 3-valued matrix and select the class of all logics functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. The concept of a “natural implicative matrix” is based upon the notion of a “natural conditional” defined in Tomova.

RESUMEN Se aplicó una intervención socio sanitaria en el asentamiento rural El León de Camagüey basada en los resultados de un estudio anterior, desde la comunicación social, educativa, así como aspectos socioculturales evaluados que permitieron la realización de este estudio. Su objetivo fue implementar una estrategia de intervención basada en acciones sociales y educativas colectadas en un manual que organizó contenidos de antropología socio cultural, psicología, sociología de la salud y trabajo social comunitario, la que fue conducida por profesionales de (...) enfermería como prestadores, cuyo encargo social les asigna una mayor permanencia e intercambio con los pobladores, potenciándose el trabajo comunitario a partir de febrero de 2016,como etapa de sostenibilidad. La investigación constituyó un diseño mixto, con un estudio cuasi experimental sin grupo control combinado con métodos cualitativos. La evaluación final efectuada en el periodo 2017-2018 exhibió modificaciones positivas en indicadores de las historias clínicas familiares de los pobladores, repercutiendo en el Análisis de la Situación de Salud, realizado en abril de 2018 y el entorno comunitario. Se demostró la importancia de la aplicación de la estrategia de intervención comunitaria desde las disciplinas de las ciencias sociales, por el personal de enfermería como agente de cambio de desarrollo local y protagonista de sostenibilidad. ABSTRACT A social sanitary intervention was applied in the rural establishment El León of Camagüey, based on social and educational actions collected in a manual that organized social cultural anthropology contents, psychology, sociology of the health and community social work, which was led by infirmary professionals like lenders, whose social order assigns a major permanence and exchange of them with the settlers. The investigation constituted a mixed design, with a study quasi experimentally without control group combined with qualitative methods. The final evaluation carried out in the period 2017-2018 exhibited positive modifications in indicators of the familiar clinical history of the settlers, what reverberated in the Analysis of the Situation of Health, carried in April, 2018 and the community environment. It was demonstrated the importance of the application of the strategy of community intervention from the disciplines of the social sciences, by the infirmary personnel as change agent of local development and protagonist of sustainability. (shrink)

This work focuses on the application of machine learning techniques to assist the clinicians in the administration of analgesic drug during general anaesthesia. Specifically, the main objective is to propose the basis of an intelligent system capable of making decisions to guide the opioid dose changes based on a new nociception monitor, the analgesia nociception index. Clinical data were obtained from 15 patients undergoing cholecystectomy surgery. By means of an off-line study, machine learning techniques were applied to analyse the possible (...) relationship between the analgesic dose changes performed by the physician due to the hemodynamic activity of the patients and the evolution of the ANI. After training different classifiers and testing the results under cross validation, a preliminary relationship between the evolution of ANI and the dosage of remifentanil was found. These results evidence the potential of the ANI as a promising index to guide the infusion of analgesia. (shrink)

In his paper “Recent work in relevant logic”, Jago includes a section on Disjunctive Syllogism . The content of the section essentially consists of (a) a valuation of some work by Robles and Méndez on the topic as “not particularly interesting in itself”; (b) a statement establishing that “What would be interesting is to discover just how weak a relevant logic needs to be before disjunctive syllogism becomes inadmissible”. The main problem with this section of Jago’s paper on DS is (...) that the author is unaware of the recent important results on the topic. I show that (1) the valuation in (a) is groundless and (2) the ill-formulated problem in (b) is solved in the recent literature on relevant logics. (shrink)

This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.

Los instrumentos curriculares suelen ser objeto de luchas políticas; están atravesados por opciones, renuncias y escogencias. No son nunca neutros. Estas páginas quieren ser una contribución a la urgente tarea de revisión curricular desde una perspectiva intercultural. En este artículo se presenta el currículo como “un camino” en el que las personas ‘aprendientes’ pueden encontrarse, dialogar y aprender gracias a su diversidad, y en el que es posible promover el diálogo de saberes y culturas. No se trata solamente de prestar (...) atención a la diversidad cultural (lo cual sería ya un paso importante), sino de convertir los procesos educativos en un espacio para la convivencia en la diversidad y para la justicia cultural. (shrink)

Digital transformation has allowed to offer additional services - which complement the main product - both in terms of use, emotional and relationship terms. Focused on a traditionally rational insurance customer offering a value that explores the customer's emotions, from co-creating with the user, allows brand differentiation. Given this idea, this document has three purposes. First, identify the role of expectations and the perceived quality of the customer's digital experience. Secondly, to identify the relationship between experience and satisfaction gained in (...) private insurance web areas. Third, identify the most valued digital attributes by the user. A sample of 4,178 customers registered was analyzed using the partial least squares technique. The model is highly predictive to customer experience and evidence the important relationship between the WOW effect and satisfaction, as well as the weak but doble role that expectations play on insurance digital self-service. The model demonstrates that expectations are only relevant before web consumption, because during the process it is the perceived digital quality, in particular the usefulness, information and technology, that offer a true customer experience. This article offers high academic value because it more accurately defines the determinants of the digital insurance customer experience and its effect on customer satisfaction in digital services. While expectations influence attitude before service, this research reveals that perceived digital quality is what delivers a true customer experience. Strategically, the implications are immediate in the field of business as it shows the importance of co-creation in digital design, not only because of the significant savings in implementation costs but also because it guarantees a greater experience, essential in the loyalty of its customers. This ensures the sustainable growth of the company. (shrink)

Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...) the many possible negation extensions of Bp+ are commented. (shrink)

The logic B+ is Routley and Meyer's basic positive logic. We show how to introduce a minimal intuitionistic negation and an intuitionistic negation in B+. The two types of negation are introduced in a wide spectrum of relevance logics built up from B+. It is proved that although all these logics have the characteristic paradoxes of consistency, they lack the K rule (and so, the K axioms).

In this paper, consistency is understood as absolute consistency (i.e. non-triviality). The basic constructive logic BKc6, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending BKc6 up to contractionless intuitionistic logic. All logics defined in this paper are paraconsistent logics.

In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BKc1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited by contractionless minimal intuitionistic logic. All logics defined in the paper are paraconsistent logics.