there is no one fundamental logical notion of necessity, nor consequently of possibility. If this conclusion is valid, the subject of modality ought to be banished from logic, since propositions are simply true or false. . .

In this paper, we show that for fuzzy logic, the Occam’s principle – that we should always select the simplest possible explanation – explains the ubiquity of the golden ratio and of the 80-20 rule. 1 From 2-Valued to Fuzzy Logic: Successes and

RESUMO A prática baseada em evidências é uma abordagem que envolve a definição de um problema, a busca e avaliação crítica das evidências disponíveis, implementação das evidências na prática e avaliação dos resultados obtidos. Para a implementação desta abordagem, na enfermagem, o enfermeiro necessita saber como obter, interpretar e integrar as evidências oriundas de pesquisas na assistência pr...

Numerical Results for the Dielectric Dispersion Parameters of Colloidal Suspensions C. Grosse,∗,1 F. J. Arroyo,† V. N. Shilov,‡ and A. V. Delgado§ ∗Departamento de Fı́sica, Universidad Nacional de Tucumán, Av. Independencia 1800, (4000) San Miguel de Tucumán, Argentina; and Consejo Nacional de Investigaciones Cientı́ficas y Técnicas, Argentina; †Departamento de Fı́sica, Facultad de Ciencias Experi...

This article proposes a Takagi-Sugeno Fuzzy (TSF) controller for vector control method applied in three-phase induction motor control. The conventional vector control method has two PI current controllers. With the aim to reduce the quantity of these controllers, it is proposed a unique fuzzy controller to substitute both PI controllers. The performance of the proposed TSF controller is analyze...

We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants. In particular we present the complete description of purely negational fragment and show that most of monadic fragments are finite.

In this paper we give an axiom system of a non-linear 4-valued logic which we call a de Morgan logic (ML), whose Lindenbaum algebra is the de Morgan algebra with implication (MI-algebra), and show that (1) For every MI-algebra L, there is a quotient MI-algebra L such that it is embeddable to the simplest 4-valued MI-algebra M = {0, a, b, 1}; (2) The Lindenbaum algebra of ML is the MI-algebra; (...

In this paper, we study the model theoretical aspects of Weakly Aggregative Modal Logic (WAML), which is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. We give a van-Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation, and show that WAML has Craig Interpolation.

Recently it has been shown that sum and product are not the only operations that can be used in order to define concrete approximation operators. So, in Image Processing the sum and multiplication are not the only operations that can be used, but also, several other operations provided by fuzzy logic. In this sense, in the present paper, we will investigate how a pair consisting of a uninorm an...