On the notion of fuzzy adjunctions between fuzzy orders

Las adjunciones (también denominadas conexiones de Galois isótonas) entre dos estructuras matemáticas proporcionan una manera de conectar ambas teorías que permite compartir las ventajas de ambas. Hay varios resultados en la literatura previa acerca de las condiciones necesarias y suficientes para la existencia de conexiones de Galois entre dos conjuntos parcialmente ordenados. En otros trabajos anteriores, los autores han estudiado la existencia y construcción del adjunto por la derecha de una aplicación dada entre conjuntos preordenados o dotados de un orden difuso, entendido éste como una relación binaria difusa satisfaciendo reflexividad, transitividad y antisimetría. Se entiende el término adjunción difusa como una pareja de aplicaciones entre dos conjuntos crisp que están dotados de órdenes difusos para las culaes se verifica la condición ρ(a,g(b)) = ρ(f(a),b). Esta definición no está suficientemente justificada en un contexto difuso puesto que las aplicaciones que se consideran se dan entre conjuntos clásicos. En este trabajo se explica la forma en la que la citada definición está relacionada con las funciones difusas, mostrando así que la definición sí es adecuada en ambiente difuso también. La extensión natural de la noción difusa de adjunción contempla dos posibilidades, según si uno considera igualdades difusas o equivalencias difusas asociadas al orden difuso o no.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

A note on drastic product logic

The drastic product $*_D$ is known to be the smallest $t$-norm, since $x *_D y = 0$ whenever $x, y < 1$. This $t$-norm is not left-continuous, and hence it does not admit a residuum. So, there are no drastic product $t$-norm based many-valued logics, in the sense of [EG01]. However, if we renounce standard completeness, we can study the logic whose semantics is provided by those MTL chains whose monoidal operation is the drastic product. This logic is called ${\rm S}_{3}{\rm MTL}$ in [NOG06]. In this note we justify the study of this logic, which we rechristen DP (for drastic product), by means of some interesting properties relating DP and its algebraic semantics to a weakened law of excluded middle, to the $\Delta$ projection operator and to discriminator varieties. We shall show that the category of finite DP-algebras is dually equivalent to a category whose objects are multisets of finite chains. This duality allows us to classify all axiomatic extensions of DP, and to compute the free finitely generated DP-algebras.Comment: 11 pages, 3 figure

Fuzzy inequational logic

We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semantic entailment and provability in graded setting which allows to draw partially true conclusions from partially true assumptions. We follow the Pavelka approach and define general degrees of semantic entailment and provability using complete residuated lattices as structures of truth degrees. We prove the logic is Pavelka-style complete. Furthermore, we present a logic for reasoning about graded if-then rules which is obtained as particular case of the general result

Some geometrical methods for constructing contradiction measures on Atanassov's intuitionistic fuzzy sets

Trillas et al. (1999, Soft computing, 3 (4), 197–199) and Trillas and Cubillo (1999, On non-contradictory input/output couples in Zadeh's CRI proceeding, 28–32) introduced the study of contradiction in the framework of fuzzy logic because of the significance of avoiding contradictory outputs in inference processes. Later, the study of contradiction in the framework of Atanassov's intuitionistic fuzzy sets (A-IFSs) was initiated by Cubillo and Castiñeira (2004, Contradiction in intuitionistic fuzzy sets proceeding, 2180–2186). The axiomatic definition of contradiction measure was stated in Castiñeira and Cubillo (2009, International journal of intelligent systems, 24, 863–888). Likewise, the concept of continuity of these measures was formalized through several axioms. To be precise, they defined continuity when the sets ‘are increasing’, denominated continuity from below, and continuity when the sets ‘are decreasing’, or continuity from above. The aim of this paper is to provide some geometrical construction methods for obtaining contradiction measures in the framework of A-IFSs and to study what continuity properties these measures satisfy. Furthermore, we show the geometrical interpretations motivating the measures

Quantum mechanics on non commutative spaces and squeezed states: a functional approach

We review here the quantum mechanics of some noncommutative theories in which no state saturates simultaneously all the non trivial Heisenberg uncertainty relations. We show how the difference of structure between the Poisson brackets and the commutators in these theories generically leads to a harmonic oscillator whose positions and momenta mean values are not strictly equal to the ones predicted by classical mechanics. This raises the question of the nature of quasi classical states in these models. We propose an extension based on a variational principle. The action considered is the sum of the absolute values of the expressions associated to the non trivial Heisenberg uncertainty relations. We first verify that our proposal works in the usual theory i.e we recover the known Gaussian functions. Besides them, we find other states which can be expressed as products of Gaussians with specific hyper geometrics. We illustrate our construction in two models defined on a four dimensional phase space: a model endowed with a minimal length uncertainty and the non commutative plane. Our proposal leads to second order partial differential equations. We find analytical solutions in specific cases. We briefly discuss how our proposal may be applied to the fuzzy sphere and analyze its shortcomings.Comment: 15 pages revtex. The title has been modified,the paper shortened and misprints have been corrected. Version to appear in JHE