A Survey on BCK and BCI-Algebras

Obra: A Survey on BCK and BCI-Algebras
Autor: Kiyoshi Iséki

Resumo

Neste trabalho, os autores apresentam um panorama das álgebras BCK e BCI introduzidas por K. Iséki. Alguns conceitos e resultados recentes são discutidos.
O texto é resultante dos estudos do Grupo de Pesquisa "Lógicas Paraconsistentes e Inteligência Artificial" da Universidade Paulista.