Natural Deduction for Quantum Logic - LUW August 10 at 4pm CET

Mon Aug 8 11:03:10 EDT 2022

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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220808/b204cf6f/attachment.html>