–
Room P3.10, Mathematics Building
José Carlos Cifuentes, UF Paraná, Brazil
Lógica fuzzy e consistência polivalente
Neste trabalho são generalizados os métodos de Kalmár e de Henkin para a construção de sistemas lógicos polivalentes com um número arbitrário de valores de verdade. Para tanto, motivados pela teoria de subconjuntos fuzzy, são definidos novos conectivos que generalizam a negação e é introduzido o novo conceito de consistência polivalente que permitirá a discussão da completude, que, no caso infinito-valente dependerá da solução de um determinado problema de extensão que formularemos. Finalmente, é discutida a possibilidade de sistemas paraconsistentes polivalentes.