Busca avançada
Ano de início
Entree

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)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)