O trabalho que se descreve consiste na implementação do programa FullProf para refinamento estrutural. Trata-se de um programa baseado no método Rietveld, disponível na internet. Uma vez adaptado às instalações locais, o programa foi submetido a uma série de ensaios para avaliação de seu comportamento frente a possíveis artefatos experimentais e computacionais, bem como frente à estratégia de refinamento. Constatou-se que o programa é muito sensível à estratégia de refinamento, podendo-se perder em mínimos locais; os parâmetros de rede e as posições atômicas informados inicialmente podem apresentar erro máximo de cerca de 1 % e 20 %, respectivamente, dependendo da amostra; erros na interpretação do refinamento podem resultar de equívocos de apreciação dos fatores de qualidade de ajuste, uma vez que são susceptíveis a alguns tipos de artefatos experimentais e computacionais; a sensibilidade frente à correta definição do grupo espacial é grande e erros nesta definição acarretam em divergência no processo de refinamento; os parâmetros de assimetria são importantes para o ajuste de picos difratados a baixos ângulos; o uso do parâmetro refinável que descreve o deslocamento experimental da origem da escala 2q, é imprescindível. Finalmente o programa foi usado para refinamento estrutural de amostras do tipo FexCo1-xTa2O6; determinação de cristalinidade relativa em polipropilenos isotáticos e identificação de fases em ligas submetidas a tratamentos de superfície. / The work described in the present Dissertation consists of the program FullProf implementation. It is a program for structural refinement, based on the Rietveld method, available in the internet. Once adapted to the local facilities, the program was submitted to a series of evaluation essays of its behaviour against possible experimental and computational artefacts and refinement strategy as well. It was verified that the program is very sensitive to the refinement strategy, occasionally going to be trapped in local minima; the initial cell parameters and atomic positions can present, respectively, maximum deviation of about 1% and 20%, depending on the sample; mistakes on the refinement interpretation can result from equivocated appreciation of the agreement factors, since they are susceptible to some kind of experimental and computational artefacts; the sensibility facing the correct definition of the space group is high and mistakes in this definition usually result in refinement divergence; the asymmetry parameters are important for the fitting of diffracted peaks in low angles; the use of the zero- 2q parameter, related to the experimental shift of the 2q-scale origin, is indispensable. Finally, the program was used for structural refinement of samples of the type FexCo1-xTa2O6; determination of relative crystalline fraction in isotactic polypropylene and phase identification in alloys submitted to surface treatments.

Submitted by Danielle Karla Martins Silva (danielle.martins@ufpe.br) on 2015-03-13T14:16:30Z No. of bitstreams: 2 DISSERTAÇÃO Renato César da Silva.pdf: 4551591 bytes, checksum: e7d717e148bd95890c67dfefdc1e3c53 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-13T14:16:30Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Renato César da Silva.pdf: 4551591 bytes, checksum: e7d717e148bd95890c67dfefdc1e3c53 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014 / FACEPE / O potencial carcinogênico do carbendazim e seus metabólitos foi analisado utilizando um tratamento estatístico dos parâmetros eletrônicos obtidos a partir de cálculos AM1 e DFT/BLYP/6-311++G(d,p). A interação carcinógeno-DNA é descrita através da Teoria da Ressonância Não Sincronizada da Ligação Covalente como um processo de transferência de elétron envolvendo os orbitais de fronteira HOMO e LUMO, modelo já desenvolvido por Pavão e Leão. Através de uma Análise de Componentes Principais da afinidade eletrônica, energia de interação carcinógeno-DNA, atração eletrostática e permeabilidade da membrana celular (momento de dipolo e coeficiente de partição) obtivemos evidência que o carbendazim exibe atividade carcinogênica. Para os metabólitos do carbendazim, a análise dos parâmetros eletrônicos também exibiram similaridade aos carcinógenos conhecidos. Embora existam poucos dados na literatura sobre a carcinogenicidade destes compostos, os resultados do presente estudo indicam que o uso deste fungicida representa um risco para a saúde da população, em especial para os trabalhadores rurais. Desta forma, os resultados aqui obtidos podem servir de subsídios para a aplicação de uma política de saúde pública baseada no princípio da precaução.

Orientador: Rogerio Custodio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica / Made available in DSpace on 2018-08-07T11:18:37Z (GMT). No. of bitstreams: 1 Ducati_LucasColucci_M.pdf: 981547 bytes, checksum: 6a6ada0ba07b735cb06198b6cfecf255 (MD5) Previous issue date: 2006 / Resumo: Estudou-se do equilíbrio conformacional da aminoacetona, N,N-dimetilaminoacetona, aminocicloexanona e N,N-dimetilaminocicloexanona por cálculos teóricos e RMN. O equilíbrio conformacional das aminas acíclicas apresentou dois confôrmeros mais estáveis em fase vapor: o sin-periplanar e anticlinal sendo o primeiro mais estável na aminoacetona; ocorrendo a inversão de estabilidade quando troca-se o grupo amino por dimetilamino. A análise populacional de NBO indicou que os confôrmeros são estabilizados por interações de pares de elétrons não-ligantes do oxigênio e/ou nitrogênio com orbitais sigmas antiligantes C-C e C-H, onde sempre as interações se mostraram superiores para o confôrmero com maior grau de simetria. O equilíbrio conformacional das acetonas cíclicas é composto por dois rotâmeros nas orientações sinclinal-axial e sin-periplanar-equatorial, sendo o confôrmero na orientação equatorial mais estável para aminocicloexanona, não ocorrendo inversão da estabilidade com a troca do grupo amino por dimetilamino, resultado reforçado pelas evidências experimentais. A análise populacional de NBO também indicou que as mesmas interações de orbitais presentes nas acetonas acíclicas estabilizam o sistema, sendo também maiores para o confôrmero com maior grau de simetria. Acoplamentos experimentais spin-spin mostraram boa correlação com os acoplamentos calculados, e análises populacionais de infravermelho obtidas de trabalhos anteriores confirmaram a presença dos confôrmeros em solução. / Abstract: The conformational equilibrium of aminoacetone, N,N-dimethylaminoacetone, aminocyclohexanone and N,N-dimethylaminohexanone was studied by theoretical calculations and NMR. The conformational equilibrium of acyclic acetones presents two most stable conformers in the vapor phase: anticlinal and synperiplanar. The second conformer is the most stable for aminoacetone, and the substitution of the amino group by dimethylamino causes the inversion of stability. The NBO populational analysis indicated that the conformers are stabilized by interactions of oxygen and/or nitrogen non-bonding electron pairs with C-C and C-H antibonding sigma orbitals, and these interactions where superior with the conformer of the highest degree of symmetry. The conformational equilibrium of cyclic acetones is made up of two rotamers: synclinal-axial and synperiplanar-equatorial. The equatorial form is the most stable conformer for aminocyclohexanone, and experimental evidences show no stability inversion when the amino group is exchanged with a dimethylamino group. The NBO populational analysis also indicated that the same orbital interactions observed for the acyclic acetones stabilize the system, and are also greater for the conformer with the highest degree of symmetry. Experimental spin-spin couplings showed good correlation with the calculated couplings, and infrared populational analysis obtained from previous works confirmed the presence of conformers in solution. / Mestrado / Quimica Organica / Mestre em Ciências

Orientador: Lucia Merces de Avelar / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-27T13:43:28Z (GMT). No. of bitstreams: 1 Monlevade_JoaoAntonioCabralde_D.pdf: 1249460 bytes, checksum: 3df373cc8b47c09bd34e969a2def8f80 (MD5) Previous issue date: 2000 / Doutorado

A caracterização no estado sólido de insumos farmacêuticos constitui uma parte muito importante no entendimento de suas propriedades físicas, químicas e farmacológicas. A partir da análise estrutural por difração de raios X em monocristal, pode-se identificar a conformação no estado sólido do fármaco, assim como sua densidade eletrônica. Estes estudos podem ser complementados com dados provenientes da Modelagem Molecular, que compreende um número de ferramentas e métodos computacionais e teóricos que têm como objetivos compreender e prever o comportamento de sistemas reais. Nesse contexto, visando compreender melhor as propriedades de estado sólido apresentadas pelo fármaco anti-filariose dietilcarbamazina (DEC), foi obtido um novo sal, o maleato de dietilcarbamazina (DEC maleato), cujas propriedades foram comparadas com as das estruturas já reportadas, DEC citrato e DEC pura. A DEC maleato foi caracterizada por difração de raios X em monocristal, espectroscopias Raman e Infravermelho e análise térmica. A DEC maleato cristaliza no grupo espacial triclínico PI com dois confôrmeros da molécula de DEC na unidade assimétrica, ambos exibindo caudas etílicas na conformação syn em relação ao anel piperazina, diferentemente do que ocorre na DEC citrato e na DEC pura, nas quais esses fragmentos moleculares apresentam uma conformação anti. A principal interação intermolecular entre o fármaco e o ácido maleico é do tipo N-H•••O, que caracteriza a formação do sal e, consequentemente, do par iônico (DEC)+(maleato)-. Além disso, uma rede complexa de interações intermoleculares não-clássicas do tipo C-H•••O estão presentes entre as moléculas de DEC, DEC-maleato e maleato-maleato, levando a um empacotamento cristalino na forma de um sanduíche, onde os confôrmeros da DEC acomodam-se em colunas intercaladas por bicamadas de íons maleato. Não foram observadas transições de fase estruturais em função da temperatura entre 100 K e temperatura ambiente. No entanto, devido à variação conformacional observada entre as moléculas de DEC, cálculos quânticos foram realizados na fase gasosa, otimizando as conformações moleculares tanto da molécula de DEC neutra quanto da carregada a fim de determinar as características de sua estrutura eletrônica utilizando o método da Teoria do Funcional de Densidade, com o funcional híbrido B3LYP e o conjunto de função de base 6-31++G. Através dos cálculos teóricos foram obtidas quatro novas conformações, uma para DEC neutra e três da carregada, para as quais analisou-se as energias de conformação, os espectros vibracionais simulados e por fim os mapas de potencial eletrostático e os orbitais de fronteira. / The solid state characterization of active pharmaceutical ingredients (API) constitutes an important part in understanding their physical, chemical and pharmacological properties. From the structural analysis by single crystal X-ray diffraction, the API conformation in the solid form, as well as its electronic density, can be identified. These studies can be supplemented with data from the Molecular Modeling, which includes a number of theoretical and computational tools used to understand and to predict the behavior in real systems. In this context, aiming to better comprehend the solid state properties exhibited by the anti-filarial drug diethylcarbamazine (DEC), a new salt was obtained, the diethylcarbamazine maleate (DEC maleate), and its properties were compared with the ones of the reported structures, DEC citrate and pure DEC. The DEC maleate was characterized by single crystal X-ray diffraction, infrared and Raman spectroscopy and thermal analysis. DEC maleate was found to crystallize in the triclinic space group PI with two very similar conformers of the DEC molecule in the asymmetric unit, both exhibiting the ethylic chains in conformation syn in relation to the piperazine ring, unlike what happens to DEC citrate and pure DEC, where these chains are anti related. The main intermolecular interaction between the API and the maleic acid is of the type NH•••O, characterizing the salt formation, and thus, the ionic pair (DEC)+(maleate)-. Moreover, a complex network of no-classical intermolecular interactions of the type CH•••O occur between DEC-DEC, DEC-maleate, and maleate-maleate molecules, leading to a sandwich like crystal packing, where DEC conformers are accommodated in columns intercalated by maleates bilayers. No phase transitions were observed for the molecule structure in function of temperature between 100 K and room temperature. However, due conformational variations observed among DEC molecules of the three structures, quantum calculations were performed in the gas phase, optimizing the molecular conformations of both, the neutral and the charged DEC molecules to determine the characteristics of the electronic structure using the method of Density Functional Theory with the B3LYP hybrid functional and basis set 6-31++G. new conformations it were found, for which geometrical characteristics, conformation energies, vibrational spectra simulation and finally the electrostatic potential maps and the frontier orbitals, were analyzed.

Orientadores: Vera Lucia da Rocha Lopes, Jose Mario Martinez / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-01T21:04:18Z (GMT). No. of bitstreams: 1 Mendonca_LuzianeFerreirade_M.pdf: 1817292 bytes, checksum: 55ad938d41fb89f7e6a3c6ef3b829c36 (MD5) Previous issue date: 2002 / Resumo: Este trabalho propõe um método de atualização de q colunas por iteração de maneira a satisfazer (quando possível) as q últimas equações secantes; este método nem sempre está definido, pois é possível que duas equações secantes sejam imcompatíveis; mais ainda, é possível que sua compatibilidade seja tão tênue conforme q assume valores maiores que 2, que sua implementação pode ser muito mal-condiconada. É proposta uma implementação correta do ponto de vista da álgebra linear e da estabilidade numérica, a análise teórica do método (convergência local) e a determinação do número ótimo de equações secantes que devem ser usadas. Foram realizados vários testes numéricos com problemas de pequeno e grande porte presentes na literatura, fazendo uma comparação entre os métodos de Newton, Broyden, CUM, ICUM, o método multi-coluna com q igual a 2 e q igual a 3. O último capítulo é composto pela análise dos resultados obtidos por esses métodos na resolução de um problema prático geofísico (traçamento de raios em sísmica) / Abstract: In this work it is introduced new quasi-Newton methods for solving largescale nonlinear systems of equations. In these methods q (> 1) columns of the approximation of the inverse Jacobian matrix are updated, in such a way that the q last secant equations are satisfied (when it is possible) at every iteration. The new methods obtained are called a q-Columns Inverse Updating Method. It is also shown an optimal maximum value for q, that makes the method competitive. It is proposed a right implementation from the point of view of linear algebra and numerical stability. It is presented a local convergence analysis for the case n = 2 and several numerical comparative tests with other quasiNewton methods, in particular the ICUM (Inverse Column Updating Methods) are presented. / Mestrado / Mestre em Matemática Aplicada

Orientador: João Frederico C. A. Meyer / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-03T15:54:37Z (GMT). No. of bitstreams: 1 Stahl_NilsonSergioPeres_D.pdf: 5614504 bytes, checksum: 30f958df1faa64afad140dfcadfa8bed (MD5) Previous issue date: 2003 / Resumo: Este trabalho de pesquisa trata da utilização da Modelagem Matemática Aplicada a fenômenos Ambientais como meio de transformação de atitudes docentes e discentes no processo aprendizagem/ensino da disciplina de Cálculo Numérico. A pesquisa se desenvolveu numa instituição privada em que os alunos do quarto ano do curso de licenciatura em Matemática, em 1999, participaram como atores do processo. Foram aplicados 7 projetos enfocando o meio ambiente privilegiando o estudo dos tópicos referentes à disciplina de Cálculo Numérico. Utilizou-se microcomputadores e aplicativo específico como ferramental de apoio durante o processo de pesquisa que se desenvolveu num ambiente de pesquisa-ação. Os dados foram coletados por meio de observação e questionários, sendo avaliados de acordo com os objetivos e questões que nortearam a pesquisa / Abstract: This research work is about the use of Applied Mathematical Modelling to Environmental phenomena as a mieans of transformation of educational attitudes in the learning teaching process of the discipline of Numeric Calculus. The work was developed in a privat institution with the students of the fourth year of the course for a degree in Mathematics, in 1999, they participated as agents in the process. They received 7 projects focusing the environment enphasizing the study of topics of Numerical Calculus. Microcomputers and specific sofwere applications were used as support during the research processes wich were developed in a research-action enviroment. Data was collected by means of observation and questionnaires wich were evalueted in agreement with the objectives and themes that guided the research / Doutorado / Educação Matematica / Doutor em Educação

Orientador : Wang Binseng / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-16T14:46:16Z (GMT). No. of bitstreams: 1 Muhlen_SergioSantos_M.pdf: 3731349 bytes, checksum: d91c5823ca66e76cf4800c5701aed91c (MD5) Previous issue date: 1985 / Resumo: Os cálculos renais tinham até recentemente como únicos tratamentos, a quimiólise e a remoção cirúrgica a céu aberto, quando não eram expelidos naturalmente. O advento das técnicas endoscópicas e o uso de instrumental cirúrgico especializado tornaram possível a manipulação percutânea e a remoção de pequenos cálculos. Como forma de ampliar a utilização dessas técnicas, a fragmentação percutânea dos cálculos maiores se faz necessária e é conseguida por meio de vibrações mecânica ultra-sonicas. Nesse trabalho apresenta-se o projeto e a construção de um equipamento capaz de gerar vibrações ultra-sonicas, conduzi-las ate os cálculos renais e aspirar os fragmentos resultantes dessa operação. Oram feitos testes "in vitro" com cálculos extraídos confirmando o funcionamento e caracterizando o desempenho do protótipo / Abstract: Until recently, the only treatment available to renal calculi, not simultaneously expelled, were the chemolysis and the open surgery. The advent of endoscopic techniques and the development of special surgical instruments made possible the percutaneous manipulation of small stones, For larger calculi a previous fragmentation would e necessary, the use of ultrasonic mechanical vibration has proved to be a solution. This work presents the project and prototype construction of an equipment able to generate ultrasonic vibrations, guide them to the renal calculi and aspirate the resulting fragments. The performance of this prototype were tested "in vitro" with previously extracted calculi / Mestrado / Mestre em Engenharia Elétrica

Publicación a texto completo no autorizada por el autor / Estudia la utilidad de la colangiografía intraoperatoria (CIO) en pacientes sometidos a colecistectomía laparoscópica en el Hospital Nacional Arzobispo Loayza (HNAL). EL estudio es observacional, descriptivo, retrospectivo y transversal en 300 pacientes intervenidos entre 2010-2014. El instrumento es una ficha de recolección de datos, se hace una revisión de las historias clínicas. Se elabora una hoja de datos y se realiza un análisis estadístico descriptivo, se obtiene el chi cuadrado con nivel de significancia p<0.05 para buscar asociación entre variables cualitativas. El resultado da que la edad media es de 42.9 ±16.6 años, el 80% eran del sexo femenino. En el 19.3% tuvo coledocolitiasis por CIO. La ictericia, hiporexia, hipertransaminasemia, hiperbilirrubinemia, fosfatasa alcalina elevada y gammaglutamil transferasa elevada, ultrasonografía abdominal y colangioresonancia magnética son significativos (p<0.001). El 92% fueron evaluados con CIO, el 73.8% de los casos positivos tenían imágenes radiopacas, 15.4% con aire en la vía biliar, 16.9% con artefactos y 4.6% identificaron malformaciones congénitas. La colecistectomía laparoscópica mas colangiografia intraoperatoria demuestra gangrena vesicular 23.1%, colédoco dilatado en el 20.8%, cálculos en colédoco 19.3% y piocolecisto 17%. El 11.7% son convertidos por dificultad para identificar la anatomía del árbol biliar, triangulo hepatocistico. No hubo complicaciones intraoperatorias. Se concluye que se demuestra la utilidad de la CIO para el hallazgo de cálculos en el árbol biliar principal, identificación de malformaciones congénitas y en otros procesos infecciosos como la colangitis. Su uso debe estar asociado a la evaluación preoperatoria y hallazgos intraoperatorios de conducto cístico y/o colédoco dilatados. / Trabajo académico

En 1920, J. Lukasiewicz introdujo sus sistemas de logicas polivalentes como una tentativa de investigar las proposiciones modales y las nociones de posibilidad y necesidad íntimamente relacionadas con tales proposiciones. Los argumentos utilizados por Lukasiewicz están analizados y discutidos en [44, 12]. Tambien hay un análisis histórico detallado del desarrollo de sus ideas en [51]. Lukasiewicz introdujo para cada número natural n 2, un cálculo proposicional n−valente en el cual pueden atribuirse a las proposiciones n valores distintos de verdad. Entre 1940 y 1941, Gr.C. Moisil inició el estudio de las estructuras algebraicas correspondientes a dichos calculos a las que denominó álgebras de Lukasiewicz n−valuadas. Estas algebras son retıculos distributivos con una operacion de negacion y ciertas operaciones unarias que expresan modalidades. En 1940, este autor introdujo las algebras de Lukasiewicz 3−valuadas y las 4−valuadas. La definición original dada por Moisil para las algebras de Lukasiewicz 3−valuadas fue simplificada por el en 1960, y presentada de manera diferente por diversos autores entre los que podemos citar [39, 11, 2]. Posteriormente en 1966, L. Monteiro ([42]) demostró que de los ocho axiomas indicados por A. Monteiro, siete son independientes. Para exhibir la independencia de uno de ellos consideró un ejemplo que motivó a A. Monteiro para definir una nueva variedad de algebras a la que denomino algebras tetravalentes modales. Cabe señalar que Monteiro conjeturó que las mismas darían origen a una lógica 4-valuada con importantes aplicaciones en Ciencias de la Computación J. Font y M. Rius en [22], entre otros resultados, estudiaron dos lógicas que son extensiones modales de la bien conocida lógica de Belnap 4-valuada las cuales tienen como modelo algebraico a las algebras tetravalentes modales. Lo que confirmo la conjetura de Monteiro. En esta tesis hallamos, entre otros resultados, un calculo proposicional estilo Hilbert del cual las algebras tetravalentes modales constituyen su contrapartida algebraica. Más precisamente, a este trabajo lo hemos organizado en tres capítulos. El Capítulo I consta de cinco secciones. Todos los resultados indicados en ellas son conocidos, pero los hemos incluído tanto para facilitar la lectura posterior, como para fijar las notaciones y las definiciones que utilizaremos en lo que sigue. La primera de ellas está referida al álgebra universal y la teoría de categorías. La segunda, contiene tópicos sobre cálculos proposicionales y en las secciones restantes se describen las motivaciones que nos llevaron a considerar el cálculo estudiado. En el Capítulo II, obtuvimos lo que denominamos, en homenaje al Dr. Antonio Monteiro, el cálculo proposicional de Monteiro 4−valuado. Para el cual, utilizando las tecnicas indicadas por H. Rasiowa en [45], demostramos que pertenece a la clase de los sistemas proposicionales implicacionales standard y que es consistente. Ademas, mostramos que en este cálculo se verifica el Teorema de Completitud. Algunos de los resultados obtenidos en este capítulo fueron presentados en el XII y XIV Latin American Symposium on Mathematical Logic que se llevó a cabo en Costa Rica y en Brasil en el 2004 y 2008 respectivamente. En el Capítulo III, con el objeto de obtener un modelo algebraico más adecuado del cálculo proposicional de Monteiro 4−valuado, introducimos una nueva variedad de álgebras que hemos denominado retículos distributivos modales con implicación. Posteriormente, mostramos que existe una equivalencia entre la categoría de estas álgebras y la de las álgebras tetravalentes modales con sus correspondientes homomorfismos. Este último resultado es fundamental para demostrar nuestra afirmación inicial ya que los retículos distributivos modales con implicación son efectivamente más adecuados que las álgebras tetravalentes modales ya que ellos tienen a la implicación!como una de sus operaciones binarias básicas. Finalmente, cabe mencionar que los temas investigados en este capítulo fueron presentados en la Reunión anual de la UMA en el 2006 y se encuentran publicados en [5]. / In 1920, J. Lukasiewicz introduced many-valued logics in an attempt to research the modal propositions and the notions of possibility and necessity intimately related to such propositions. The arguments used by Lukasiewicz are analysed and discussed in [44, 12]. There is also a detailed historical study of his ideas in [51]. For every natural number n 2, Lukasiewicz introduced an n−valued propositional calculus in which he assigned to each proposition n different truth values. Between 1940 and 1941, Gr.C. Moisil started the study of the algebraic counterparts of those propositional calculi which he called n−valued Lukasiewicz algebras. These algebras are distributive lattices with a negation operation and certain unary operations that express modalities. In 1940, this author introduced 3−valued and 4−valued Lukasiewicz algebras. The original definition given by Mosil for 3−valued Lukasiewicz algebras was simplified by him in 1960, and presented in a different way by many authors as we can see in [39, 11, 2] to mention a few. Lately in 1966, L. Monteiro ([42]) proved that seven of the eight axioms indicated by A. Monteiro for these algebras are independent. To exhibit the independence of one of them, he considered an example that motivated A. Monteiro to define a new variety of algebras which he called tetravalent modal algebras. It is worth mentioning that Monteiro expressed his view that in the near future these algebras would give rise to a four-valued modal logic with significant applications in Computer Science. J. Font and M. Rius in [22], among other results, studied two logics that are modal extensions of the so-called Belnaps 4−valued logic. Both of them have tetravalent modal algebras as the algebraic counterpart. These results gave a positive answer to Monteiros conjecture. In this thesis we obtained among other results, a Hilbert style propositional calculus, which has tetravalent modal algebras as the algebraic counterpart. More precisely, we have organized this work in three chapters. Chapter I consists of five sections. All the results indicated are well known, but we have included them both to simplify the reading as well as to fix the notations and the definitions that we will use in this volume. The first one refers to universal algebra and the theory of categories. The second one, contains topics about propositional calculi and in the remainder sections we describe the motivations that gave rise to consider the study of this calculus. In Chapter II, we describe what we called Monteiros 4−valued propositional calculus, to pay homage to Dr. Antonio Monteiro. Taking into account the techniques indicated by H. Rasiowa in [45], we prove that this calculus belongs to the class of standard systems of implicative extensional propositional calculi. Besides, we establish that it is consistent. Moreover, we show that the completeness theorem for this propositional calculus holds. Some of the results obtained in this chapter have been presented in the XII and XIV Latin American Symposium on Mathematical Logic that took place in Costa Rica and Brazil in 2004 and 2008 respectively. In Chapter III, with the purpose of obtaining an algebraic model more appropriate for Monteiros 4−valued propositional calculus, we introduce a new variety of algebras which we called distributive modal lattices with implication. Lately, we show that there is an equivalence between the category of these algebras and that of tetravalent modal algebras with their corresponding homomorphisms. This last result is fundamental in order to prove our initial assertion because modal distributive lattices with implication are more adequated than tetravalent modal algebras, because they have an implication!as one of the basic binary operations. Finally, it can be mentioned that the topics researched in this chapter have been presented in the Reunion Anual de la Union Matematica Aregentina in 2006 and they were published in [5].