Semantica algebrica para g(alef)o.

• Processo: 02/00188-5
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de maio de 2002
• Data de Término da vigência: 31 de dezembro de 2002
• Área de conhecimento: Ciências Exatas e da Terra - Matemática - Álgebra
• Pesquisador responsável: Hércules de Araújo Feitosa
• Beneficiário: Luiz Henrique da Cruz Silvestrini
• Instituição Sede: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Logicas De Godel | Logicas Multivaloradas | Semanticas Algebricas

Resumo

Os cálculos multivalorados de Gödel foram, inicialmente, introduzidos a partir de semânticas matriciais e não se encontram muitos textos preocupados com a obtenção de semânticas algébricas para tais lógicas. Por outro lado, as lógicas de Lukasiewicz têm sido muito exploradas quanto as suas semânticas algébricas. Dentro deste contexto, neste trabalho, pretendemos avaliar a existência de semântica algébrica para o cálculo infinito valorado de Gödel G(alef)o. (AU)