O artigo recentemente publicado na *Logica Universalis* de Michael Kaminski e Nissim Francez do Departamento de Computação do *Technion, Instituto de Tecnologia de Israel* em Haifa, desenvolve uma abordagem típico da lógica universal, apresentando uma metodologia geral para tratar de numerosos sistemas de lógica multivalorada e provas de versões gerais de teoremas para esses sistemas (completude, eliminação do corte): "Calculi for Many-Valued Logics" https://link.springer.com/article/10.1007/s11787-021-00274-5 O ano passado publiquei um artigo complementar onde eu apresento também as lógicas multivaloradas de uma maneira universal, todavia de uma maneira mais "fundamental" e situando tais sistemas no universo das lógicas: "Many-Valuedness from a Universal Logic Perspective" http://www.jyb-logic.org/MANYU Este artigo é de uma certa forma a continuação de um artigo que escrevi cerca de 25 anos atrás: "What is many-valued logic?" *Proceedings of the 27th International Symposium on Multiple-Valued Logic*, IEEE Computer Society, Los Alamitos, 1997, pp.117-121. https://www.jyb-logic.org/papers12-11/what%20is%20many-valued%20logic.pdf JYB
-- 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/CAF2zFLA2xiqrKX4Hmu%2B%2BSfrpqVo4Kc8EEuKckqkg-MbiowryyQ%40mail.gmail.com.