Extração de infons em lógicas sentenciais polivalentes finitas

Abstract

Autor (2020) desenvolveu duas semânticas informacionais para a Lógica Sentencial Clássica, decorrentes da utilização de formais normais. A abordagem informacional em questão utiliza unidades mínimas de informação (infons) para realizar o trabalho lógico. Neste artigo, expandiremos a aplicação da abordagem informacional às lógicas sentenciais polivalentes finitas mediante um procedimento dedicado à extração de unidades mínimas de informação (infons). Tal procedimento decorre do trabalho com tablôs semânticos para Lógicas Sentenciais Polivalentes Finitas desenvolvido por Carnielli (1982).