First-order frames for orthomodular quantum logic

Chrysafis Hartonas. First-order frames for orthomodular quantum logic. Journal of Applied Non-Classical Logics, 26(1):69-80, 2016. [doi]

Abstract

Abstract is missing.