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)

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)

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.

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)

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)

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.

This paper is a sequel to [2]. We extend Anderson and Belnap’s list with the characteristic axioms of S3→ and S4→ . Then we exhaustively axiomatize these systems with the list thus extended.

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)

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)

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.

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.

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)

As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In (...) this way, any logic verified by an actual matrix in one of these classes has the property the class generally represents. Particular matrices (and so, logics) in each class are provided. (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)

A classical result by Słupecki states that a logic L is functionally complete for the 3-element set of truth-values THREE if, in addition to functionally including Łukasiewicz’s 3-valued logic Ł3, what he names the ‘$T$-function’ is definable in L. By leaning upon this classical result, we prove a general theorem for defining binary expansions of Kleene’s strong logic that are functionally complete for THREE.

The logic E4 is related to Brady’s BN4 in a similar way to which Anderson and Belnap’s logic of entailment E is related to their logic of the relevant implication R. In ‘A companion to Brady’s 4-valued relevant logic: the 4-valued logic of entailment E4’, quoted in this paper, three alternatives to BN4 and another three to E4 are summarily introduced in a couple of pages as the only alternatives containing Routley and Meyer’s basic logic B, provided some conditions are (...) fulfilled. The aim of this note is to prove BN4 and its three alternatives are the same logic up to some point, since they are functionally equivalent to each other, as it is the case with E4 and its three alternatives, which are also functionally equivalent to each other; to some extent, E4 is superior to BN4, since the latter is functionally included in the former, but not conversely. (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.

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.

Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π ′ are among the logics considered.

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)

“Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure ${\mathcal{M}_{\rm CL}}$ built upon Meyer’s Crystal matrix CL. It is shown how to falsify in any wr-ms the Generalized Modus Ponens axiom and similar schemes used to derive Curry’s Paradox. In the last section of the paper we discuss how to extend this method of falsification to more general schemes that could also be used in deriving Curry’s Paradox.

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.

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic-type of negations (...) in RM-semantics, while also defining the basic systems and many of their extensions by using models with or without a set of designated points. (shrink)

LCo with the Converse Ackermann Property is defined as the result of restricting Contraction in LC. Intuitionistic and Superintuitionistic Negation is shown to be compatible with the CAP.

In Rogerson and Restall’s, the “class of implication formulas known to trivialize ” is recorded. The aim of this paper is to show how to invalidate any member in this class by using “weak relevant model structures”. Weak relevant model structures verify deep relevant logics only.