Prezados,
Estou procurando referências sobre uso de métodos formais (lógicas, provas, axiomatizações etc) na química. Neste momento, meu escopo é bem amplo e motivado por uma recente conversa na maillings do Isabelle. https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users/2024-02/msg00036.html A mensagem inicial, citou o livro The Logic of Chemical Synthesis https://ia601303.us.archive.org/25/items/Logic_of_Chemical_Synthesis_Corey_1989/Logic_of_Chemical_Synthesis_Corey_1989_text.pdf Eu fiz referência ao artigo https://arxiv.org/abs/2210.12150, e estou procurando possiveis trabalhos com outros provadores de teoremas (ATP/ITP). O desafio é entender o domínio da química, como ela é organizada e a relevância dos trabalhos existentes. Ab., Alexandre -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/D1926065-420A-4560-BE73-4F2C59CBB5FF%40gmail.com.
