Olá pessoal, Parabéns ao João Marcos, Adam e Paul sobre a versão final de
Many-Valued Logic (JM & Adam Přenosil & Paul Egré) https://plato.stanford.edu/entries/logic-manyvalued/ Já estou lendo, muito boa! Gostaria também de compartilhar aqui duas publicações disponíveis de nossa lavra, que podem interessar a alguns(mas) colegas. A primeira principalmente a quem se interessa por lambda-cálculo: 1) Agudelo-Agudelo J.C, Carnielli W. A. Formalisation of Constructive Evidence-based Reasoning: Constructing Justifications. The Bulletin of Symbolic Logic. Published online 2025:1-25. doi:10.1017/bsl.2025.10 Abstract: A Constructive Logic of Evidence and Truth (LETc) is introduced. This logic is both paraconsistent and paracomplete (aka paranormal),Evidence is explicitly formalised by integrating lambda calculus terms into LETc, resulting in the type system LETλc. In this system, lambda calculus terms represent procedures for constructing evidence for compound formulas based on the evidence of their constituent parts. A realisability interpretation is provided for LETc, establishing a strong connection between deductions in this system and recursive functions. Código para baixar (legalmente!): D9EE2B9A9F43041C752391FE66B1C8 2) Já enviei esta, mas se por acaso alguém perdeu, vai de novo: “Paraconsistency and Paraconsistent Logics” (Walter Carnielli and Pedro Carrasqueira) Disponível em https://elsevier-books-eproof. International Encyclopedia of Language and Linguistics, 3rd edition Abraços de Orange County, Walter ======================== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil AI2- Advanced Institute for Artificial Intelligence Blog https://waltercarnielli.com/ https://www.name-coach.com/walter-carnielli -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLdazZM0S6cC4Mmhqiv%2BrcLBq_WOquAFOZQReB5JvbFRYw%40mail.gmail.com.
