Viva! > Aproveito para enfatizar que o trabalho que vai ser apresentado amanhã é bem > no espírito da lógica universal. > Kaminski e Francez desenvolveram métodos gerais que se aplicam a milhares de > sistemas de lógica multivalorada, para axiomatizar eles e também provar o > teorema da corte.
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é? ;-) No paper de Sérgio Marcelino & Carlos Caleiro, neste volume: https://link.springer.com/journal/11229/volumes-and-issues/198-22/supplement os autores mostram como axiomatizar qualquer lógica multivalorada _não-determinística (parcial)_. Na palestra que dei semana passada eu mostrei como esta última receita pode ser estendida para lógicas com relações de consequência bidimensionais: https://youtu.be/uU77XHKg5Qc https://arxiv.org/abs/2107.08349 (Isto é parte do trabalho de mestrado do meu aluno Vitor Greati.) > Na seguinte foto ela está na extrema direita, Walter do lado. > http://www.cs.tau.ac.il/events/AvronFest/ Oh não, o Walter está então próximo da extrema direita? :-o []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_Lh5iTrLxBG%3DHY_DkZXLW-VXcC%2BrqaZuRYOnk8RxUMpxPQ%40mail.gmail.com.
