Cálculo proposicional com três valores: verdade e discurso jurídico

• Processo: 99/04521-6
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de novembro de 1999
• Data de Término da vigência: 30 de setembro de 2000
• Área de conhecimento: Ciências Exatas e da Terra - Matemática - Matemática Aplicada
• Pesquisador responsável: Luciano Barbanti
• Beneficiário: Leonardo Toledo da Silva
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Lógica jurídica Lógica dialética
• Palavra(s)-Chave do Pesquisador: Alem De Verdadeira E Falso | Logica Computada | Logica E Discurso Juridico | Logicas Tri-Valuadas | Talacia

Resumo

O estudo da tabela-verdade para os sistemas trivalvados (de Aqvist, Lukasiewicz, Hallden, Segerberg, Heyting, Reichenbach e Sobocinski), os diversos funtores, e fazer aplicação ao discurso em português (e principalmente no discurso jurídico) interpretando o 3º valor-verdade. Construir um N-cálculo prop. para validar um conjunto de sentenças. Fazer aplicações computacionais usando Maple. (AU)