El objetivo fue proponer estrategias didácticas para desarrollar las nociones de espacio en el contexto remoto proponiendo un conjunto de acciones basadas en el juego. El presente estudio fue de tipo no experimental, enfoque cuantitativo diseño descriptivo propositivo, cuya muestra estuvo conformada por 20 niños, los datos fueron recolectados a partir de una lista de cotejo el cual obtuvo una confiabilidad del 0,80 según el Coeficiente del Alfa de Cronbach. Por consiguiente, dentro de los resultados que se obtuvieron después de la aplicación de la lista de cotejo, se determinó que el 60% presentaba el desarrollo de las nociones en inicio, mientras que un 40% se encontraba en proceso, determinándose así, la necesidad de promover el desarrollo de dichas nociones matemáticas. La propuesta presentada es de mucha relevancia ya que las estrategias propuestas para ser utilizadas en el contexto remoto van acorde a la edad del niño, a sus características, teniendo en cuenta el programa de educación inicial actual, es así como mediante de diferentes actividades estructuradas ayudarán a que el niño tenga un aprendizaje significativo de sus nociones de espacio.

Esta tesis es un estudio longitudinal de 4 años consecutivos sobre 39 pacientes de un centro sanitario de la ciudad de Alicante con especialización en logopedia. Los participantes presentaban dificultades de psicomotricidad, matemáticas, lectura y escritura, problemas del lenguaje, perceptivos, discriminativos visuales y alteraciones en los movimientos oculares sacádicos. El principal objetivo del estudio fue documentar la relación entre los movimientos oculares y la capacidad en psicomotricidad, lectora, en escritura y en el área lógico-matemática. Las edades de los participantes del estudio oscilaban entre 3 y 15 años, con un promedio de edad de 7 años y 2 meses. Al inicio, el 50% de los pacientes de la muestra tenían más de 6 años y 5 meses, el 35,9% eran mujeres y el 64% varones. Asimismo, el 66,7% pertenecían a un nivel socioeconómico alto, el 25,6% medio y el 7,7% bajo. Finalmente, los pacientes se encontraban en tres niveles educativos distintos, siendo el más numeroso el de aquellos referidos a la etapa escolar infantil (69,2%). Como punto de partida, se realizó un diagnóstico inicial a los sujetos de la muestra que incluía las áreas de lectura, matemáticas, escritura y psicomotricidad. Con base a los resultados iniciales se elaboró un plan de trabajo integral y se aplicaron dos tipos de terapia: una realizada de forma estrictamente logopédica y otras orientadas a psicomotricidad, estas con una la dedicación media de 2 a 6 horas mensuales. Posteriormente, su evaluación fue periódica, sin grupo de control, con una media de tiempo transcurrido entre las observaciones de 10,15 meses. Los resultados evidencian que aquellos pacientes que mejoran los movimientos sacádicos mejoran también sus capacidades lectoras, en escritura, en matemáticas y en psicomotricidad. Por otro lado, se demuestran diferencias significativas en la puntuación media de las capacidades lectoras y capacidades en escritura. También se apuntan los posibles problemas que pueden aparecer en el área lógico-matemática entre los niños evaluados, en virtud de si tienen definida o no la lateralidad, ya que aquellos que han desarrollado esta destreza viso-perceptual alcanzan valores superiores. En términos generales, los aportes de este estudio ratifican la importancia de evaluar adecuadamente el desempeño de la percepción visual para el aprendizaje de la lectura, escritura y matemáticas, y demuestran que la comprensión de su interdependencia y un tratamiento integral pueden contribuir a orientar y optimizar las prácticas educativas para superar dificultades académicas.

En los últimos años ha tomado auge nuevamente el estudio de desigualdades de tipo mixtas pesadas, debido a que, desde el año 2005 hasta la actualidad, se han resuelto algunas de las conjeturas propuestas en los años 80 en relación a ese tipo de estimaciones. La mayoría de estos resultados han sido obtenidos en el contexto lineal. En esta tesis, comenzamos el estudio de este tipo de desigualdades en el contexto multilineal. Concretamente, obtenemos desigualdades pesadas mixtas para operadores de Calderón-Zygmund multilineales y para la integral fraccionaria multilineal. Además, probamos extensiones vectoriales de estos resultados. / In the last years, the study of weighted mixed type inequalities has taken on relevance again, since, from 2005 up to the present day, some of the conjectures related to this type of estimates raised in the 80's have been solved. Most of these results have been obtained in the linear context. In this thesis, we begin the study of this type of inequalities in the multilinear setting. To be more specific, we obtain weighted mixed type inequalities for multilinear Calderón-Zygmund operators and for the multilinear fractional integral. Furthermore, we prove vector-valued extensions of these results.

Las redes y los sistemas no suaves constituyen uno de los tópicos más recientes y estudiados en la teorÍa de los sistemas dinÁmicos. Distintos desarrollos y problemas surgidos de disciplinas como la fÍsica, la biologÍa, la informática y la electrónica, han generado la necesidad de expandir las clásicas herramientas utilizadas para los sistemas suaves a estos nuevos objetos. Por ello, los conceptos y herramientas de la teoría clásica de sistema dinámicos resultan sistemáticamente generalizados a este nuevo contexto, aunque las particularidades propias de la dinámicas colectivas y/o discontinuas provocan que esta generalización no sea directa. A lo largo de esta tesis nos concentramos en el análisis de la dinámica de un tipo específico de redes y de cierto tipo específico de sistemas no suaves. Por un lado damos cuenta de un tipo particular de redes no suaves denominadas threshold linear networks (TLN). Recurriendo a desarrollos formales y a la simulación numérica, investigamos el fenómeno de sincronía en estas redes, así como ciertas bifurcaciones globales que tienen lugar (dadas por la aparición/desaparición de conexiones heteróclinas y homóclinas). Logramos establecer resultados que dan condiciones suficientes para tales comportamientos, y mediante simulación, reportamos nuevos fenómenos asociados a estas redes. Por otro lado, motivados por el estudio de dinámicas fuertemente discontinuas, recurrimos a ejemplos concretos (algunos clásicos y otros más novedosos), enfocándonos en particular en aquellos que son de tipo híbrido. Mediante simulaciones numéricas exhibimos las distintas dinámicas caóticas que estos sistemas poseen, y damos cuenta de las similitudes y diferencias que tienen lugar al compararlos con los sistemas clásicos. Además presentamos la generalización al caso no suave de dos herramientas utilizadas para estudiar los sistemas dinámicos y la sincronía de redes: el exponente maximal de Lyapunov y la master stability function (MSF). Primero comentamos dos metodologías utilizadas para estimar el exponente maximal de Lyapunov, que son el método de Stefanski y el método de la matriz de salto, y las ejemplificamos aplicándolas a sistemas caóticos no suaves. Luego aportamos una generalización de la MSF, aplicable a un tipo de redes (propuestas por nosotros) caracterizadas por poseer un fuerte comportamiento discontinuo: las redes híbridas. Damos un ejemplo original de este tipo de red y realizamos la evaluación de su MSF. Además discutimos la posibilidad de generalizar esta herramienta a casos de acoplamiento no lineal y damos una respuesta negativa a tal situación. Por último, estudiamos el caso de una red de dos osciladores conectados de manera lineal a trozos y discutimos su adaptabilidad, que es posible en este caso particular. / Networks and non-smooth systems are one of the most recent topics studied in the theory of dynamical systems. Different developments and problems arising from disciplines such as physics, biology, computer science and electronics, have generated the need to expand the classic tools used for smooth systems to these new objects. Therefore, the concepts and tools of the classical theory of dynamical systems are systematically generalized to this new context, although the peculiarities of the collective and/or discontinuous dynamics cause that this generalization is not direct. Throughout this thesis we concentrate on the analysis of the dynamics of a specific type of networks and of a specific type of non-smooth systems. On the one hand we analyze a particular type of non-smooth networks called threshold linear networks (TLN). Using formal developments and numerical simulation, we investigate the phenomenon of synchrony in these networks, as well as certain global bifurcations that take place (given by the appearance/disappearance of heteroclinic and homoclinic connections). We managed to establish results that give sufficient conditions for such behaviors, and through simulation, we report new phenomena associated with these networks. On the other hand, motivated by the study of strongly discontinuous dynamics, we resort to concrete examples (some classic and others more novel), focusing in particular on those that are of hybrid type. Through numerical simulations we show the different chaotic dynamics that these systems have, and we realize the similarities and differences that take place when compared with classical smooth systems. We also present the generalization to the non-smooth case of two tools used to study dynamical systems and network synchrony: the maximal exponent of Lyapunov and the master stability function (MSF). First we discuss two methodologies used to estimate the maximal exponent of Lyapunov, which are the Stefanski method and the saltation matrix method, and we exemplify them by applying them to non-smooth chaotic systems. Then, we provide a generalization of the MSF, applicable to a type of networks (proposed by us) characterized by having a strong discontinuous behavior: the hybrid networks. We give an original example of this type of network and perform the evaluation of its MSF. We also discuss the possibility of generalizing this tool to non-linear coupling cases and we give a negative response to this situation. Finally, we study the case of a network of two oscillators connected in a piecewise linear way and we discuss their adaptability, which is possible in this particular case.

Algunos fenómenos naturales, desde un enfoque teleológico, escogen trayectorias expeditas, e.g. la refracción de la luz, el plegamiento de biopol´ımeros, otros por el contrario seleccionan caminos ineficientes y extravagantes, e.g. la reflexión de la luz en superficies espejadas cóncavas. Otros, en cambio, eligen caminos que evolucionan sin proseguir estrategias extremas. Los problemas aqu´ı tratados plantean determinar el conjunto de trayectorias admisibles, para lo cual se apela a métodos y modelos sustentados en argumentos lógicos y proposiciones matemáticas. La metodología variacional permite un nexo entre el pensamiento de Hamilton en “Geometría ´Optica” y su diseño del “Icosian Game”. Vínculo que consiste en la identificación de las trayectorias hamiltonianas y cuasi-hamiltonianas reflexivas en las arquitecturas de las redes con nodos en los v´ertices de los n-gonos regulares. Mientras que mediante la aplicaci´on del algoritmo aritmético propuesto se caracterizan las soluciones extremales de diferentes problemas de hamiltonianos cíclicos y no cíclicos óptimos y subóptimos. / In the teleology of natural phenomena it is well known that some processes expedite progress, e.g. the law of refraction, the folding of biopolymers, while, on the contrary other processes perform the pathways of the inefficiency or extravagance, e.g. the law of reflection at the hollow mirrors, and there are processes that involve non-extreme strategies. The studied problems impose to determine the set of the admissible trajectories that require methods and models supported by logical arguments and mathematical statements. The variational procedure allows a link between Hamilton’s thoughts in “Geometric Optics”and his design of the “Icosian Game”. This connection identifies the reflective hamiltonian and quasi-hamiltonian paths in the architecture of the networks built on the vertices of the regular n-gons. The applications of the proposed algorithm deal with the characterization of the pathways that solve different hamiltonian cyclic and non-cyclic extremal path problems.

En este trabajo, obtenemos condiciones bajo las cuales existe una extensión continua del operador integral fraccionaria de Weyl I+ y desde el espacio de Calderón-Hardy Hpqa (w) al espacio Hp+qa+y(w). La clave para este hecho es una estimación puntual que relaciona las funciones maximales N+qa (Iy+F;x) y Nqa+(F;x) para F E Hpqa+(w), estimación que tiene otras aplicaciones como se verá en el trabajo. Por otra parte y de manera independiente probamos un Teorema de Interpolación compleja en los espacios de Calderón-Hardy. Una de las técnicas relevantes que encontramos para obtener ese teorema es la existencia de una descomposición atómica con propiedades adicionales de los espacios de Calderón-Hardy. / In this work, we obtain conditions under which there is a continuous extension of the fractional integral operator of Weyl I+y from Calderon-Hardy space Hpq,a+(w) into the space Hp;q,a+(w). The key to this fact is a pointwise estimate that establishes a relationship between the maximal functions N+q;a (Iy+F; x) and N+q;a (F; x) where F E Hp;+q;a (w): That estimate has more applications as will be seen in this work. Moreover we prove a Complex Interpolation Theorem in the Calderon-Hardy spaces. One of the techniques that are relevant for this theorem is the existence of an atomic decomposition with additional properties of Calderon-Hardy spaces.

En el estudio de las álgebras relacionadas a las lógicas no-clásicas, los semirretículos (distributivos) están siempre presentes. Por ejemplo, la semántica algebraica del fragmento{ --;^; T} de la lógica intuicionista modal es la variedad de los semirretículos implicativos, que son una clase especial de semirretículos distributivos. En esta tesis, introducimos y estudiamos la clase de semirretículos distributivos acotados dotados de operadores modales que cumplen con la condición de monotonía. Estudiamos una teoría de representación para estas álgebras usando las extensiones canónicas y desarrollamos una dualidad completa a través de espacios sober. Dichos resultados son aplicables, bajo modificaciones menores, al estudio de los retículos distributivos acotados, los semirretículos implicativos, las álgebras de Heyting y a las álgebras de Boole con operadores monótonos. Mostraremos cómo nuestra dualidad se extiende a algunos casos particulares. En el caso de las álgebras de Boole, nuestra dualidad incluye, como casos particulares, las dadas en [12] y [31]. Las lógicas modales monótonas han surgido en distintas áreas de aplicación, como por ejemplo, asociadas a ciertas sem anticas utilizadas en computación teórica e inteligencia artificial. Usando la dualidad desarrollada, estudiaremos algunas extensiones obtenidas a partir de un sistema deductivo basado en semirretículos con operadores modales monótonos. A estos sistemas deductivos los dotaremos de una semántica de entornos, y nuestro objetivo principal es probar la completitud de estas extensiones con respecto a una clase característica de marcos monótonos. La variedad de las álgebras de Boole con operadores modales monótonos es dualmente equivalente a dos clases de marcos monótonos generales descriptivos. Clarificaremos este fenómeno mostrando que existe una correspondencia biyectiva entre estas dos clases. Hablaremos sobre algunas clases de marcos de entornos monótonos generales, tales como las clases de punto compacto, imagen compacto y marcos monótonos generales repletos, y estudiaremos las relaciones entre ellos. También probaremos que las nociones de marco monótono punto compacto, e imagen compacto se preservan bajo morfismos acotados fuertes. / In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the { --;^; T}fragment of intuitionistic logic is the variety of implicative meetsemilattices, which are distributive semilattices. In this thesis we introduce and study the class of distributive meet-semilattices endowed with monotonic modal operators. We study the representation theory of these algebras using the theory of canonical extensions and we give a topological duality (Stone style) for them. Also, we show how our new duality extends to some particular subclasses. So, most of the results given in this paper are applicable, with minor modi cations, to the study of bounded distributive lattices, implicative semilattices, Heyting algebras, and Boolean algebras with monotonic operators. We note that in the particular case of Boolean algebras our duality yields the duality given in [12] and [31]. Monotone modal logics have emerged in several application areas such as computer science and social choice theory. Using the developed duality, we study some extensions obtained from a semilattice based deductive system with monotonic modal operators. We give neighborhood semantics, and our main objective is to prove completeness with respect to a characteristic classes of monotonic frames. The variety of Boolean algebras with monotonic modal operators is dually equivalent to two classes of descriptive general monotonic frames. We shall clarify this phenomenon showing that there exists a bijective correspondence between these two classes. We shall discuss some classes of general monotonic neighborhood frames, such as the classes of point-compact, image compact and replete general m-frames, and we shall study the relationships between them. We shall also prove that the notions of point-compact, and image-compact monotonic frames are preserved by strong bounded morphisms.

El volumen que aquí presentamos está organizado en cinco capítulos. En el primero se describen resultados conocidos que facilitarán la lectura de la tesis, el mismo no tiene pretenciones de originalidad. El Capítulo 2 está organizado en tres secciones. En la primera sección investigamos la variedad de álgebras que hemos denominado álgebras de De Morgan temporales, como una generalización natural de las álgebras de Boole temporales. En esta sección nuestro principal interés es la teoría de representación para esta clase de álgebras. La Sección 2.1 está organizada como sigue: En la Subsección 2.1.1 definimos la variedad de las álgebras de De Morgan temporales, introducimos algunos ejemplos y probamos algunas propiedades. En la Subsección 2.1.2 damos un teorema de representación para las álgebras de De Morgan temporales en términos de las álgebras de De Morgan temporales de conjuntos usando un conocido teorema de representación para las álgebras de De Morgan. En la Subsección 2.1.3 describimos una dualidad topológica para las álgebras de De Morgan temporales, extendiendo la dualidad dada por Cornish y Fowler en [42] para las álgebras de De Morgan. Finalmente, en la Subsección 2.1.4 caracterizamos el retículo de las congruencias de estas álgebras en términos de la dualidad antes mencionada y de ciertos subconjuntos cerrados del espacio asociado con él. Los resultados de esta sección fueron publicados en A. V. Figallo, G. Pelaitay. Tense operators on De Morgan algebras. Log. J. IGPL 22, 2, 255–267. 2014. La segunda sección está compuesta por dos subsecciones. En la primera obtenemos una dualidad discreta para las álgebras de Łukasiewicz-Moisil nvaluadas teniendo en cuenta los resultados indicados por Dzik, Orłowska y van Alten en 2006 para las álgebras de De Morgan [49]. En la segunda subsección extendemos la dualidad discreta dada para las álgebras de Łukasiewicz- Moisil n-valuadas al caso de las álgebras de Łukasiewicz-Moisil n−valuadas temporales. Los resultados de esta sección fueron publicados en A. V. Figallo, G. Pelaitay. Discrete duality for tense Łukasiewicz–Moisil algebras. Fund. Inform., 136. 1–13. 2015. La tercer sección está dividida en tres subsecciones. En la Subsección 2.3.1 repasamos definiciones y resultados conocidos sobre las álgebras tetravalentes modales que nos serán de utilidad en las subsecciones siguientes. También mostramos que las álgebras de De Morgan con implicación definidas por Kondo en [102] son polinomialmente equivalentes a las álgebras tetravalentes modales contrapositivas definidas por Figallo y Landini en [58] y estudiadas recientemente por Coniglio y Figallo en [40]. En la Subsección 2.3.2 obtenemos dos dualidades discretas diferentes para las álgebras tetravalentes modales. Finalmente, en la última subsección definimos la variedad de las álgebras tetravalentes modales temporales como una generalización común de las álgebras de Boole temporales y las álgebras de Łukasiewicz-Moisil 3−valuadas temporales. El resultado más importante de esta subsección es la obtención de una dualidad discreta para esta nueva clase de álgebras. El Capítulo 3 está organizado en cinco secciones. La primera está dedicada al estudio de las álgebras de Łukasiewicz-Moisil n ×m−valuadas definidas por Figallo y Sanza en [60]. Esta sección se divide en cinco subsecciones. En la Subsección 3.1.1. repasamos un ejemplo que nos permite legitimar el estudio de las álgebras de Łukasiewicz-Moisil n × m-valuadas. En la Subsección 3.1.2 recordamos definiciones y resultados que nos serán de utilidad para lo que sigue. En la Subsección 3.1.3 introducimos nuevos conectivos de implicación y probamos algunas propiedades básicas de estos conectivos. En la Subsección 3.1.4 recordamos la definición de álgebra de Łukasiewicz- Moisil n ×m−valuada monádica. Estas álgebras fueron definidas por Figallo y Sanza en [69]. Finalmente, en la última subsección definimos la clase de las álgebras de Łukasiewicz-Moisil n ×m−valuadas poliádicas. Estas álgebras, para el caso m = 2, coinciden con las álgebras de Łukasiewicz-Moisil n−valuadas poliádicas [7]. El principal resultado de esta subsección es un teorema de representación para las álgebras de Łukasiewicz-Moisil n ×m−valuadas poliádicas. La Sección 3.2 está dedicada al estudio de las álgebras de Łukasiewicz- Moisil temporales débiles definidas por Figallo y Pelaitay en [78]. Esta sección está dividida en cuatro subsecciones. En la Subsección 3.2.1 introducimos la variedad de las álgebras de Łukasiewicz-Moisil temporales débiles como una generalización común de las álgebras de Boole temporales débiles y de las álgebras de Łukasiewicz-Moisil n−valuadas temporales débiles. En la Subsección 3.2.2, basados en la noción de marco débil, damos un ejemplo de álgebra de Łukasiewicz-Moisil temporal débil que será de utilidad en lo que sigue. En la Subsección 3.2.3 probamos un teorema de representación para las álgebras de Łukasiewicz-Moisil temporales débiles. Finalmente, en la última subsección nos dedicamos al estudio de las congruencias en un álgebra de Łukasiewicz-Moisil n ×m−valuada temporal débil. Estos resultados nos permitieron caracterizar las álgebras simples y subdirectamente irreducibles de la variedad antes mencionada. La Sección 3.3 está dedicada al estudio de las álgebras de Łukasiewicz- Moisil n ×m−valuadas temporales definidas por Figallo y Pelaitay en [79]. Esta sección está dividida en cuatro subsecciones. En la Subsección 3.3.1 introducimos la variedad de las álgebras de Łukasiewicz-Moisil temporales como una generalización común de las álgebras de Boole temporales y de las álgebras de Łukasiewicz-Moisil n−valuadas temporales. En la Subsección 3.3.2, basados en la noción de marco, damos un ejemplo de álgebra de Łukasiewicz-Moisil temporal que será de utilidad en lo que sigue. En la Subsección 3.3.3, probamos un teorema de representación para las álgebras de Łukasiewicz-Moisil temporales; como corolario de este teorema obtenemos el teorema de representación dado porDiaconescu yGeorgescu en [43] para las álgebras de Łukasiewicz-Moisil n−valuadas temporales. Finalmente, en la última subsección nos dedicamos al estudio de las congruencias en un álgebra de Łukasiewicz-Moisil n ×m-valuada temporal. Estos resultados nos permitieron caracterizar las álgebras simples y subdirectamente irreducibles de la variedad antes mencionada. La Sección 3.4 está dedicada al estudio de las álgebras de Łukasiewicz- Moisil n ×m−valuadas poliádicas temporales débiles. Esta sección está dividida en dos subsecciones. En la Subsección 3.4.1 introducimos la clase de las álgebras de Łukasiewicz-Moisil n ×m−valuadas poliádicas temporales débiles como una generalización común de las álgebras de Boole poliádicas temporales débiles y las álgebras de Łukasiewicz-Moisil n−valuadas poliádicas temporales débiles. También, basados en la noción de sistema temporal débil, damos un ejemplo de álgebra de Łukasiewicz-Moisil n ×m−valuada poliádica temporal débil. El resultado más importante de la segunda subsección es un teorema de representación para las álgebras de Łukasiewicz-Moisil temporales débiles. En la última subsección definimos la clase de las álgebras de Łukasiewicz-Moisil n×m−valuadas poliádicas temporales y damos un ejemplo basándonos en la noción de sistema temporal. Algunos de los resultados de este capítulo han sido aceptados para su publicación en A. V. Figallo, G. Pelaitay. A representation theorem for tense n ×m−valued Łukasiewicz–Moisil algebras.Mathematica Bohemica. 2015. A. V. Figallo, G. Pelaitay. n ×m-valued Łukasiewicz–Moisil algebras with two modal operators. South American Journal of Logic. 2015. También han sido presentados y expuestos en A. V. Figallo, G. Pelaitay. Operadores temporales sobre álgebras de Łukasiewicz-Moisil n ×m-valuadas, Actas del XII Congreso Dr. Antonio Monteiro, UNS, Bahía Blanca, Argentina, (2013), 31-32. El Capítulo 4 está organizado en tres secciones. La primera sección está dedicada al estudio de operadores temporales sobre álgebras de Heyting. Esta sección se divide en seis subsecciones. En la primera subsección mostramos que la axiomatización algebraica dada por Chajda en [24] de los operadores temporales F y P en la lógica intuicionista no se ajusta a la definición de Halmos de cuantificador existencial. En la segunda subsección introducimos la variedad de las I K t −álgebras, mostramos algunos ejemplos y probamos algunas propiedades. En la tercera subsección probamos que el sistema IKt de la lógica temporal intuicionista introducido por Ewald en [52], tiene a las I K t −álgebras como contraparte algebraica. En la cuarta subsección describimos una dualidad discreta para las I K t −álgebras teniendo en cuenta los resultados indicados por Orłowska y Rewitzky en [124] para las álgebras de Heyting. En la quinta subsección damos una construcción general de los operadores temporales sobre un álgebra de Heyting completa por medio de los llamados marcos de Heyting. Finalmente, en la última subsección introducimos la noción de sistema deductivo temporal, la cual nos permite determinar el retículo de las congruencias en una I K t −álgebra y caracterizar las álgebras simples y subdirectamente irreducibles de la variedad IKt. Los resultados de esta sección fueron publicados en A. V. Figallo, G. Pelaitay. Remarks onHeyting algebras with tense operators. Bull. Sect. Logic Univ. Lódz 41, 1–2, 71–74. 2012. A. V. Figallo, G. Pelaitay. An algebraic axiomatization of the Ewald’s intuitionistic tense logic. Soft Computing. 18, 10, 1873–1883. 2014. También han sido presentados en A. V. Figallo, G. Pelaitay.Una axiomatización algebraica del sistema IKt, IV Congreso Lationoamericano deMatemáticos, Córdoba, 2012. A. V. Figallo, G. Pelaitay. An algebraic axiomatization of IKt system, 6th Workshop on IntuitionisticModal Logic and Applications, Rio de Janeiro, Brazil, 2013. La segunda sección está dedicada al estudio de operadores temporales sobre álgebras de Heyting simétricas. Esta sección está dividida en tres subsecciones. En la primera definimos la variedad de las álgebras de Heyting simétricas temporales, damos un ejemplo y probamos algunas propiedades. En la segunda subsección obtenemos una dualidad discreta para las álgebras de Heyting simétricas temporales teniendo en cuenta las indicadas en [49] para las álgebras de De Morgan y en [124] para las álgebras de Heyting. En la tercer subsección describimos un cálculo proposicional que tiene a las álgebras de Heyting simétricas temporales como contraparte algebraica. Los resultados de esta sección fueron publicados en A. V. Figallo, G. Pelaitay, C. Sanza.Discrete duality for TSH−algebras. Commun. KoreanMath. Soc., 27, 1, 47–56. 2012. 30 También fueron presentados y expuestos en A.V. Figallo, G. Pelaitay, C. Sanza. Operadores temporales sobre álgebras de Heyting simétricas. LIX Reunión Anual de la Unión Matemática Argentina. Índice de Comunicaciones Científicas. Mar del Plata, Septiembre 2009. A.V. Figallo, G. Pelaitay, C. Sanza. Una dualidad discreta para las álgebras deHeyting simétricas temporales. LX Reunión Anual de laUniónMatemática Argentina. Índice de Comunicaciones Científicas. Tandil, Septiembre 2010. La tercera sección está dedicada al estudio de operadores temporales sobre álgebras de Heyting simétricas de orden n (o SHn−álgebras para abreviar) . Esta sección está dividida en tres subsecciones. En la primera subsección definimos la variedad de las SHn-álgebras temporales, damos un ejemplo y probamos algunas propiedades. En la segunda subsección obtenemos una dualidad discreta para las SHn-álgebras temporales teniendo en cuenta las indicadas en [124] para las SHn-álgebras. En la tercera subsección describimos un cálculo proposicional que tiene a las SHn-álgebras temporales como contraparte algebraica. Los resultados de esta sección fueron publicados en: A. V. Figallo, G. Pelaitay. Tense operators on SHn-algebras. Pioneer Journal of Algebra, Number Theory and its Applications. 1, 1, 33–41. 2011. A. V. Figallo, G. Pelaitay. Note on tense SHn-algebras. An.Univ. Craiova Ser. Mat. Inform., 38, 4, 24–32. 2011. También fueron presentados y expuestos en: A. V. Figallo, G. Pelaitay. Tense operators on SHn−algebras, 16th Brazilian Logic Conference, Petropolis, Brazil, 2011. El Capítulo 5 consiste en una breve enumeración de los posibles desarrollos futuros. / The volume presented here is organized in five chapters. In the first, with no claim to originality, we describe some known results that will facilitate the reading of the thesis. Chapter 2 is organized in three sections. In the first we investigate the variety of algebras that we have called tense De Morgan Algebras as a natural generalization of tense Boolean algebras. In this section our main interest is the representation theory for this class of algebras. Section 2.1 is organized as follows: In Subsection 2.1.1 we define the variety of tense De Morgan algebras, introduce some examples and prove some properties. In Subsection 2.1.2 we give a representation theorem for tense De Morgan algebras in terms of tense De Morgan algebras of sets by using a well-known representation theorem for De Morgan algebras. In Subsection 2.1.3 we describe a topological duality for tense De Morgan algebras, extending the duality given by Cornish and Fowler in [42] for De Morgan algebras. Finally, in Subsection 2.1.4 we characterize the congruences lattice of these algebras in terms of the duality mentioned before and certain closed subsets of the space associated with them. The results obtained in this section were published in A. V. Figallo, G. Pelaitay. Tense operators on De Morgan algebras. Log. J. IGPL 22, 2, 255–267. 2014. The second section consists of two subsections. In the first we obtain a discrete duality for the n-valued Łukasiewicz-Moisil algebras taking into account the results indicated by Dzik, Orłowska and van Alten in 2006 forDeMorgan algebras [49]. In the second subsection we extend the discrete duality given for n-valued Łukasiewicz-Moisil algebras to the case of the tense n-valued Łukasiewicz–Moisil algebras. The results of this sections were published in A. V. Figallo, G. Pelaitay. Discrete duality for tense Łukasiewicz–Moisil algebras. Fund. Inform., 136. 1–13. 2015. The third section is divided into three subsections. In Subsection 2.3.1 we review definitions and known results on tetravalent modal algebras which will be useful in the subsequent subsections. We also show that De Morgan algebras with implication defined by Kondo in [102] are polynominally equivalent to the contrapositive modal tetravalent algebras defined by Figallo and Landini in [58] and recently studied by Coniglio and Figallo in [40]. In Subsection 2.3.2 we obtain two different discrete dualities for the tetravalent modal algebras. Finally, in the last subsection we define the variety of tense tetravalent modal algebras as a common generalization of tense Boolean algebras and tense n−valued Łukasiewicz-Moisil algebras. The most important result in this subsection is having obtained a discrete duality for these new algebras. Chapter 3 is organized into five sections. The first is devoted to the study of the n × m-valued Łukasiewicz-Moisil algebras defined by Figallo and Sanza in [60]. This section has been subdivided into five subsections. In Subsection 3.1.1we review an example which has allowed us to legitimate the study of the n ×m-valued Łukasiewicz-Moisil algebras. In Subsection 3.1.2 we recall definitions and results which will be useful for what follows. In Subsection 3.1.3 we introduce new implication connectives and prove some of their basic properties. In Subsection 3.1.4 the definition of monadic n ×m−valued Łukasiewicz–Moisil algebra is reviewed. These algebras were defined by Figallo and Sanza in [69]. Finally, in the last subsection we define the class of polyadic n ×m-valued Łukasiewicz-Moisil algebras. These algebras, for the case of m = 2, they coincide with polyadic n−valued Łukasiewicz-Moisil algebras [7]. The main result of this subsection is a representation theorem for polyadic n × m−valued Łukasiewicz-Moisil algebras. Section 3.2 is focused on the study of weak-tense n ×m−valued Łukasiewicz-Moisil algebras defined by Figallo and Pelaitay in [78]. This section is divided into four subsections. In Subsection 3.2.1 we introduce the variety of weak-tense n ×m−valued Łukasiewicz-Moisil as a common generalization of weak-tense Boolean algebras and weak-tense n−valued Łukasiewicz-Moisil algebras. In Subsection 3.2.2, based on the notion of weak frame, we provide an example of weak-tense n × m−valued Lukasiewicz-Moisil algebras to bear into consideration for further analysis. In Subsection 3.2.3 we prove a representation theorem for weak-tense n × mvalued Łukasiewicz-Moisil algebras. Finally, in the last subsection we focus on the study of congruences in a weak-tense n ×m−valued Łukasiewicz-Moisil algebra. These results allowed us to characterize simple and subdirectly irreducible algebras from the previously mentioned variety. Section 3.3 is focused on the study of tense n ×m−valued Łukasiewicz-Moisil algebras defined by Figallo and Pelaitay in [79]. This section is divided into four subsections. In Subsection 3.3.1 we introduce the variety of tense n ×m−valued Łukasiewicz- Moisil algebras as a common generalization of tense Boolean algebras and tense n−valued Łukasiewicz-Moisil algebras. In Subsection 3.3.2, based on the notion of frame,we provide an example of tense n×m−valued Łukasiewicz-Moisil algebras, necessary for later analysis. In Subsection 3.3.3, we proved a representation theorem for tense n ×m−valued Łukasiewicz-Moisil algebras; as a corollary of this theorem we obtain the representation theorem provided by Diaconescu and Georgescu in [43] for tense n−valued Łukasiewicz-Moisil algebras. Finally, in the last subsection we focus on the study of congruences in a tense n ×m−valued Łukasiewicz-Moisil algebras. These results allowed us to characterize simple and subdirectly irreducible algebras from the variety previously mentioned. Section 3.4 is focused on the study polyadic weak-tense n × m−valued Łukasiewicz-Moisil algebras. This section is divided into two subsections. In Subsection 3.4.1 we introduced the class of study polyadic weaktense n ×m−valued Łukasiewicz-Moisil algebras as a common generalization of polyadic weak-tense Boolean algebras and polyadic weak-tense n−valued Łukasiewicz-Moisil algebras. Furthermore, based on the notion of weak-tense system, we provide an example of polyadic weak-tense n × m−valued Łukasiewicz-Moisil algebras. The most prominent result from this second subsection is a representation theorem for polyadic weak-tense n × m−valued Łukasiewicz-Moisil algebras. In the last subsection we define the class of polyadic tense n ×m−valued Łukasiewicz-Moisil algebras and we provide an example based on the notion of tense system. Some of the results of this chapter have been accepted for publishing in A. V. Figallo, G. Pelaitay. A representation theorem for tense n ×m−valued Łukasiewicz–Moisil algebras.Mathematica Bohemica. 2015. A. V. Figallo, G. Pelaitay. n ×m-valued Łukasiewicz–Moisil algebras with two modal operators. South American Journal of Logic. 2015. They have also been presented and exposed in A. V. Figallo, G. Pelaitay. Operadores temporales sobre álgebras de Łukasiewicz-Moisil n ×m-valuadas, Actas del XII Congreso Dr. Antonio Monteiro, UNS, Bahía Blanca, Argentina, (2013), 31-32. Chapter four is organized into three sections. The first section is focused to the study of tense operators on Heyting algebras. This section is divided into six subsections. In the first subsection we demonstrate that algebraic axiomatization given by Chajda in [24] of the tense operators F and P in intuitionistic logic is not in accordance with theHalmos definition of existential quantifier. In the second subsection we introduce I K t −algebras variety, we show some examples and prove some of its properties. In the third subsection we prove that intuitionistic tense logic introduced by Ewald in [52] has I K t −algebras as its algebraic counterpart. In the fourth subsection we describe a discrete duality for I K t −algebras bearing into account the results indicated by Orłowska and Rewitzky in [124] for Heyting algebras. In the fifth subsection we give a general construction of tense operators on a completeHeyting algebra via the so-called Heyting frames. Finally, in the last subsection we introduce the notion of tense deductive system which allows us to determine the congruences lattice in an I K t −algebras and characterize simple and subdirectly irreducible from the IKt variety. The results of this section have been published in A. V. Figallo, G. Pelaitay. Remarks onHeyting algebras with tense operators. Bull. Sect. Logic Univ. Lódz 41, 1–2, 71–74. 2012. A. V. Figallo, G. Pelaitay. An algebraic axiomatization of the Ewald’s intuitionistic tense logic. Soft Computing. 18, 10, 1873–1883. 2014. They were also presented and discussed in A. V. Figallo, G. Pelaitay.Una axiomatización algebraica del sistema IKt, IV Congreso Lationoamericano deMatemáticos, Córdoba, 2012. A. V. Figallo, G. Pelaitay. An algebraic axiomatization of IKt system, 6th Workshop on IntuitionisticModal Logic and Applications, Rio de Janeiro, Brazil, 2013. The second section is focused on the study of tense operators on symmetric Heyting algebras. This section is divided into three subsections. In the first section we define tense symmetric Heyting algebras, we provide an example and prove some of their properties. In the second subsection we obtain a discrete duality for tense symmetric Heyting algebras taking into account the indications in [49] for DeMorgan algebras and in [124] for Heyting algebras. In the third subsection we describe a propositional calculus that has tense symmetric Heyting algebras as an algebraic counterpart. The results in this section were published in A. V. Figallo, G. Pelaitay, C. Sanza.Discrete duality for TSH-algebras. Commun. KoreanMath. Soc., 27, 1, 47–56. 2012. They were also presented and discussed in A.V. Figallo, G. Pelaitay, C. Sanza. Operadores temporales sobre álgebras de Heyting simétricas. LIX Reunión Anual de la Unión Matemática Argentina. Índice de Comunicaciones Científicas. Mar del Plata, Septiembre 2009. A.V. Figallo, G. Pelaitay, C. Sanza. Una dualidad discreta para las álgebras deHeyting simétricas temporales. LX Reunión Anual de laUniónMatemática Argentina. Índice de Comunicaciones Científicas. Tandil, Septiembre 2010. The third section is devoted to the study of tense operators on symmetric Heyting algebras of order n (or SHn-algebras). This section is divided in three subsections. In the first subsection,we define the variety of tense SHn-algebras, we provide an example and prove several properties. In the second subsection, we obtain a discrete duality for tense SHn-algebras taking into account the ones indicated in [124] for SHn-algebras. In the third subsection, we describe a propositional calculus that has tense SHn-algebras as algebraic counterparts. The results of this section were published in: A. V. Figallo, G. Pelaitay. Tense operators on SHn-algebras. Pioneer Journal of Algebra, Number Theory and its Applications. 1, 1, 33–41. 2011. A. V. Figallo, G. Pelaitay. Note on tense SHn-algebras. An.Univ. Craiova Ser. Mat. Inform., 38, 4, 24–32. 2011. They were also presented and discussed in: A. V. Figallo, G. Pelaitay. Tense operators on SHn-algebras, 16th Brazilian Logic Conference, Petropolis, Brazil, 2011. Chapter 5 consists of a brief enumeration of the possible future developments.

En los ultimos 10 a~nos importantes avances han sido obtenidos en el problema de dos pesos del tipo d ebil (1; 1) de operadores de Calder on-Zygmund. Todos esos resultados est an asociados a lo que se conoce como conjetura de Muckenhoupt-Wheeden. Por otro lado, tambi en recientemente muchos avances han sido obtenidos en variantes cuantitativas de desigualdades pesadas de ciertos operadores cl asicos del an alisis arm onico. Una de las herramientas claves que ha aparecido para estos avances es lo que se conoce como dominaci on por operadores sparse de los operadores de Calder on-Zygmund y variantes. En esta tesis avanzamos en estas dos l neas. Por un lado encontramos resultados negativos para una variante m as d ebil de la conjetura de Muckenhoupt-Wheeden. Y por otro lado obtenemos varias estimaciones cuantitativas en desigualdades de tipo d ebil mixto para varios operadores, como las integrales singulares y los conmutadores de dichos operadores. La principal novedad de estas estimaciones es que por primera vez se usa la herramienta de dominaci on sparse en este contexto. / In the last ten years very important advances related to the endpoint two-weight weak type inequality of Calderón-Zygmund operators and Commutators are been obtained. On the other hand relevant advances in quantitative variant of several weighted estimates are been showed. A key tool for such advances have been the sparse domination of these classical operators. In this work we advance in these two lines. In rst place we show negative results in a variant of the Muckenhoupt-Wheeden Conjecture related to the two-weight weak type (1; 1) estimate of the Hilbert transform. On the other hand, we obtain quantitative estimates in the called weighted weak mixed-type estimates for Calderón-Zygmund operators, rough singular integrals and commutators. The main novelty of this part of the work lies in the fact that we rely upon sparse domination results for this kind of inequalities

No description available.