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

[jean-yves beziau]

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/