En este trabajo estudiamos a la lógica que preserva grados de verdad asociada a la clase de las álgebras de Stone involutivas (denotada por S). Estas álgebras fueron introducidas por Cignoli y Sagastume ([12, 13]) en conexión con la teoría de las álgebras de Lukasiewicz{Moisil n{valuadas. Existen diferentes maneras de relacionar una lógica con una clase dada de álgebras (cf.[35]). El estudio de las lógicas que preservan grados de verdad se remonta a Wójcicki en su libro de 1988 [49], en el contexto de la lógica de Lukasiewicz, y luego extendido en [5, 21, 22, 23] entre otros. Esto sigue un patrón muy general que puede ser considerado para cualquier clase de estructura de valores de verdad con un orden definido sobre ellos. El objetivo es explotar la multiplicidad de valores, considerando una relación de consecuencia que preserve cotas inferiores en lugar de solo preservar el último elemento del orden (el valor 1). En el Capítulo 1, repasamos todas las nociones y resultados conocidos de álgebra universal y dualidades topológicas (de Priestley) que son necesarias para el desarrollo posterior. También, repasamos nociones básicas de la teoría de las lógicas paraconsistentes, exhibimos un ejemplo importante y demostramos resultados conocidos. En el Capítulo 2, introducimos la noción de álgebra de Stone involutiva. Probamos que ésta es una clase ecuacional de álgebras, es decir, S es una variedad. Exhibimos la relación de éstas con otras clases de álgebras como los retículos pseudocomplementados y las álgebras de Lukasiewicz trivalentes. Mostramos ejemplos importantes como también exhibimos un método para obtener álgebras de Stone involutivas de conjuntos. Además, repasamos la dualidad topológica estilo Priestley para las S-álgebras, dada por Cignoli y Sagastume en [13], y sus aplicaciones. Finalmente, en el Capítulo 3, introducimos la lógica que preserva grados de verdad asociada a las álgebras de Stone involutivas denominada Six. Mostramos que ésta es una lógica multivaluada (con seis valores de verdad) y que queda determinada por un número finito de matrices finitas (cuatro matrices). Probamos, además, que Six es una lógica paraconsistente en la que es posible definir un operador de consistencia y, por lo tanto, Six resulta ser una Lógica de la Inconsistencia Formal (LFI)(ver [7]). Para finalizar este capítulo, estudiamos la teoría de prueba de Six proveyendo un cálculo estilo Gentzen (cálculo de secuentes) y probando los correspondientes teoremas de correctitud, completitud y principio de inversión. Todos los resultados de este capítulo son originales y fueron aceptados para su publicación en L. Cantú y M. Figallo, On the logic that preserves degrees of truth associated to involutive Stone algebras. Por aparecer en Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzy071 / In this thesis, we study the logic that preserves degrees of truth associated to the class of involutive Stone algebras (denoted by S). These algebras were introduced by Cignoli and Sagastume (see [12, 13]) in connection with the theory of n{valued Lukasiewicz{Moisil algebras. There are different ways of relating a logic to a given class of algebras (cf.[35]). The study of logics that preserves degrees of truth goes back to Wójcicki in his book of 1988 [49], in the context of the Lukasiewicz logic, and then extended in [5, 21, 22, 23] among others. This approach follows a very general pattern that can be considered for any class of truth structure endowed with an ordering relation; and which intend to exploit manyvaluedness focusing on the notion of inference that results from preserving lower bounds of truth values, and hence not only preserving the greatest element of the order (the value 1). In Chapter 1, we recall all the notions of universal algebra, theory of topological dualities (Priestley) which are necessary for what follows. Also, we recall basic notions of the theory of paraconsistent logics, we exhibit examples and show well-known results of the theory . In Chapter 2, we introduce the notion of involutive Stone algebra. We prove that it is an equational class, that is, S is a variety. We exhibit the relation of these algebras with other well- known algebraic structures such as pseudocomplemented lattices and three-valued Lukasiewicz algebras. We show important examples of involutive Stone algebras and describe a method for constructing involutive Stone algebras of sets. Besides, we recall the Priestley{style topological duality for the S-algebras, given by Cignoli and Sagastume in [13], and its applications. Finally, in Chapter 3, we introduce the logic that preserves degrees of truth associated to involutive Stone algebras named Six. We prove that this is a multy{valued logic (with six truth values) and that it can be determined by a finite number of finite matrices (four matrices). We show that Six is a paraconsistent logic in which it is possible to define a consistency operator and, therefore, Six turns out to be a Logic of Formal Inconsistency (LFI)(see [7]). To end this chapter, we study the theory of truth of Six by providing a Gentzen style calculus (sequent calculus) for it and by proving the corresponding soundness, completeness and inversion principle theorems. All these results are original and were accepted for publication in L. Cantú and M. Figallo, On the logic that preserves degrees of truth associated to involutive Stone algebras. To appear in Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzy071

Orientador : Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-28T18:03:20Z (GMT). No. of bitstreams: 1 Fernandez_VictorLeandro_M.pdf: 540368 bytes, checksum: 0818913d30776ed86715893fde72c2df (MD5) Previous issue date: 2001 / Mestrado

Orientador: Douglas Eduardo Zampieri / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-16T17:15:33Z (GMT). No. of bitstreams: 1 Iezzo_Robson_M.pdf: 14243942 bytes, checksum: 83221821a509c9fb6d274ca3cca67895 (MD5) Previous issue date: 2010 / Resumo: Neste trabalho é realizado o desenvolvimento de um sistema de suspensão semi-ativo adaptativo com baixo custo de implementação, quando comparado aos sistemas semi-ativos atualmente disponíveis no mercado. Para isto, foi caracterizado um sistema de amortecimento passivo variável controlado remotamente (com dispositivo seletivo alocado no painel do veículo), o qual está atualmente em desenvolvimento pela empresa. A arquitetura desse sistema, prevendo atuadores eletrônicos e central eletrônica de processamento com interface e coleta de informações da rede CAN, foi concebida para, através da definição de uma lógica de controle, transformá-lo em um sistema de suspensão semi-ativo com custo competitivo. Procedeu-se investigando e estabelecendo parâmetros de controle e sinais existentes nos subsistemas dos veículos modernos para alimentação de uma lógica matricial de controle. Identificados os sinais possíveis de se utilizar na alimentação dessas matrizes, foram realizadas diversas simulações em software de dinâmica veicular para verificação dos parâmetros de controle definidos, assim como do comportamento dinâmico do veículo, com o objetivo de otimizar o compromisso entre conforto e estabilidade. Com base neste processo, foram estabelecidas matrizes lógicas de comando aos amortecedores eletrônicos as quais, através da identificação do nível dos parâmetros recebidos do veículo e da atitude do motorista ao volante, definem automaticamente qual a melhor curva de amortecimento a ser empregada, dentro de um universo discreto de curvas, para uma dada condição de utilização do veículo. O resultado deste trabalho busca viabilizar a aplicação de sistemas inteligentes de suspensão no mercado automobilístico nacional, o qual é atualmente composto em 100% por sistemas de suspensão passivos. / Abstract: This work is dedicated to develop an adaptive semi-active suspension system at a low cost of implementation, when compared to semi-active systems currently available. For that was characterized a passive damping system variable remotely controlled (with a selective device allocated on the panel of the vehicle), which is currently under development by the company. The architecture of this system, providing electronic actuators and electronic control unit interface and gathering information from the CAN network was designed for, by setting a control logic, transform it into a semi-active suspension system at a competitive cost. The work proceeded investigating and establishing parameters and existing signals in the subsystems of modern vehicles to feed a logical matrix of control. Identified the possible signals available to using on the mentioned matrix, several simulations were carried out in a vehicle dynamics software in order to check the applicability of those control parameters defined, as well as the dynamic behavior of the vehicle with the goal of optimizing the balance between ride and handling. Based on this process were established a set of logical matrix to command the electronic dampers which, by identifying the level of the parameters received from the vehicle and the attitude of the driver at the steering wheel, define automatically the best damping curve to be used, within an universe of discrete curves, for a given driving condition. The result of this work aims to become viable the application of intelligent suspension systems in domestic automotive market which is nowadays composed by 100% of passive suspension systems. / Mestrado / Dinâmica / Mestre em Engenharia Automobilistica