On the Reconstruction of Orthomodular Logic via Restricted Negation

Tomoaki Kawano, Ryo Kashima

Orthomodular logic has long been studied as a fundamental logical framework within quantum logic. In addition to its lattice-theoretic foundations, various formulations have been p…