Conservative expansions of substructural logics

In this paper we investigate several conservative expansions of substructural logics, and of fuzzy logics in particular. The most important are the expansion by Δ and the expansion by propositional quantifiers, with applications to Craig interpolation. In the last part of the paper we show that in several expansions of MTL it is possible to add conservatively the Łukasiewicz connectives, as well as a new kind of product

Utilización de un residuo mineral de baja ley en fósforo como fertilizante

p.43-49Se estudió el aporte de Fósforo a la nutrición de soja (Glycine max L. Merr) y tomate (Licopersicum esculentum) por parte del residuo de la obtención de pellets de hierro de Sierras Grandes. El mismo contiene 7,6 - 9,0 por ciento p-p P2O5. Se desarrollaron las plantas en jarras Leonard conteniendo arena adicionada con dicho residuo (1 por ciento p-p) como único sustrato fosforado, incluyéndose además los correspondientes testigos. Se incluyeron tratamientos inoculados con una cepa de Pseudomonas sp seleccionada por su capacidad para solubilizar el Fósforo insoluble contenido en distintos sustratos. En el caso de soja se incluyeron tratamientos inoculados con la cepa 5019 de Rhizobium japonicum. Los resultados obtenidos nuestran que el residuo mineral realiza un aporte significativo de Fósforo para la nutrición vegetal. Para las dos especies empleadas, los rendimientos en materia seca obtenidos en los tratamientos con el residuo fueron significativamente superiores a los testigos de mínima (sin agregado de Fosforo soluble) La inoculación con la cepa solubilizadora de Fósforo no produjo ninguna mejora en los rendimientos en materia seca. La presencia del residuo mineral no afectó el establecimiento y funcionamiento del vínculo simbiótico Rhizobium japonicum-soja proveyó el Fósforo necesario para el proceso de nodulación

Paraconsistency properties in degree-preserving fuzzy logics

Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features and study them as logics of formal inconsistency. We also consider their expansions with additional negation connectives and first-order formalisms and study their paraconsistency properties. Finally, we compare our approach to other paraconsistent logics in the literature