Proof theory for minimal quantum logic: A remark

Proof theory for minimal quantum logic II

Some Remarks on Quantum Logics and Quantum Mechanics

Remark on automorphisms of quantum logics

Minimal quantum logic with merged implications

Concluding Remarks: Classical Logic and Quantum Logic

On the logic of quantum logic