1 paper · 1 filter
Juan P. Aguilera, Guillaume Massas
Following a suggestion of Birkhoff and Von Neumann [Ann. Math. 37 (1936), 23-32], we pursue a joint study of quantum logic and intuitionistic logic. We exhibit a linear-time transl…