VERSION|0.4.5|SUBJECT|Seminário dia 23/11|CONTENT|No próximo seminário de lógica Fuzzy, o aluno de iniciação científica
Gabriel  C C S Araújo vai falar do trabalho dele sob minha orientação
neste ano. Será um teorema de completude para BL-logica.
Lógica BL é um cálculo proposicional formal proposto por
Petr Hajek que engloba a logica de Lukasiewicz e Goedel|CATEGORIES|5|DATE|1195652435