1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2005★ 1 cited
A Rule-Based Logic for Quantum Information
Olivier Brunet
In the present article, we explore a new approach for the study of orthomodular lattices, where we replace the problematic conjunction by a binary operator, called the Sasaki proje…
quant-ph2003★ 1 cited
Dynamic Quantum Logic for Quantum Programs
Olivier Brunet, Philippe Jorrand
We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transform…