VERSION|0.4.5|SUBJECT|Lógica BL|CONTENT|No seminário passado o gabriel definiu as BL-álgebras que serão os espaços de valorações da lógica BL e definiu a linguagem formal
do cálculo proposicional BL usando os conectivos $\&$ e $\rightarrow$  os slides da apresentação estão na [url=http://www.cursos.ddfnet.com.br/gabrielccsa/academico/iniciacao/apresentacao.pdf new=true]página do Gabriel[/url]. O seminário continuará na próxima sexta-feira dia 30 de novembro.

Até mais

-- Pedro A Tonelli --|DATE|1196165053