> Permita-me por favor apontar que neste paper (produzido no escopo do > projeto GeTFun) você (e o Nissim) pode encontrar duas receitas para > fornecer sistemas de tableaux "clássicos" para _qualquer_ lógica > multivalorada (determinística): > https://www.sciencedirect.com/science/article/pii/S0304397515006374 > No caso da primeira receita, mais usual, não temos que nos preocupar > com o corte, pois esta sequer é uma regra usual em tableaux à > Smullyan. No caso da segunda receita, que é justamente _baseada no > corte_ (à d'Agostino), obviamente também não faz sentido a gente se > preocupar com isso. As pessoas se preocupam com cada coisa, né? ;-)
A propósito, neste volume recente da Logica Universalis há um paper que propõe resolver um caso BEM particular do que nós resolvemos usando a nossa primeira receita: https://link.springer.com/journal/11787/volumes-and-issues/14-4 Não há nada de mal em reinventar a roda. Ela é bem útil! Agora, agir como se ela não existisse... []s, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjdQeA1sMSbyXS2Q6HBeN-PYp1sygtDPs9dROhE%3DHqTtg%40mail.gmail.com.
