Sobre as algebras e hiper-reticulados CW

AUTOR(ES)
FONTE

IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia

DATA DE PUBLICAÇÃO

1971

RESUMO

Nesta tese, apresentamos, de modo sistemático, alguns resultados referentes à teoria das álgebras Cw, muitos dos quais foram por nós obtidos e publicados anteriormente. Os conceitos básicos, as notações etc., utilizados neste trabalho estão descritos nas "Observações sobre a notação". No Capítulo I, introduzimos os conceitos de Álgebra Cw, de Filtro, de Ideais e de Morfismos de uma álgebra Cw; obtemos alguns resultados relativos a tais noções e, em seguida, empregamos alguns destes resultados na obtenção de informações a respeito do cálculo Cw. No Capítulo II, propomos uma nova algebrização do cálculo Cw e demonstramos um teorema que Liga este novo tipo de estrutura às álgebras Cw. Agradecemos ao Prof. N.C.A. da Costa a dedicação com que nos orientou durante estes dois anos que estivemos com ele trabalhando e, sobretudo, a sua sempre renovada paciência para conosco. Queremos agradecer também ao Prof. Mario Tourasse Teixeira por ter assistido as exposições que fizemos de alguns dos itens aqui abordados. Ainda que tenha sido indireta a colaboração do referido professor neste trabalho, vemo-nos na obrigação de agradecer ao Prof. Tourasse o incentivo que nos tem dado e, sobretudo, o excepcional exemplo que tem sido para todos aqueles de seu convívio. Por fim, agradecemos, também, ao Prof. Rubens M. Marques, que tornou possível, do ponto de vista material, a realização deste trabalho

ASSUNTO(S)

algebra logica algebrica

Documentos Relacionados