A new axiomatization of unified quantum logic (1992)

by M Pavičić
Venue:International Journal of Theoretical Physics