The next session of the Logica Universalis Webinar will be August 10 at 4pm CET
Speaker: Kenji Tokuo, National Institute of Technology, Japan Title: Natural Deduction for Quantum Logic Abstract: This paper presents a natural deduction system for orthomodular quantum logic. The system is shown to be provably equivalent to Nishimura’s quantum sequent calculus. Through the Curry–Howard isomorphism, quantum λ-calculus is also introduced for which strong normalization property is established. https://link.springer.com/article/10.1007/s11787-022-00307-7 Everybody is welcome to join, register here: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Editor-in-Chief Logica Universalis Organizer of the Logica Universalis Webinar http://www.jyb-logic.org/ -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLB92-WNJN9FEgBAQ2LoDQ4qeqOHT-GoUH6rSt%2B_LX%3DYtA%40mail.gmail.com.
