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/ -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html