W. Blok & D. Pigozzi (1989):
Algebraizable Logics.
Mem. Amer. Math. Soc. 77,
doi:10.1090/memo/0396.
G. Bruns (1976):
Free ortholattices.
Can. J. Math. 27,
pp. 977–985,
doi:10.4153/CJM-1976-095-6.
G. Bruns & J. Harding (2000):
Algebraic Aspects of Orthomodular Lattices.
In: B. Coecke, D. Moore & A. Wilce: Current Research in Operational Quantum Logic.
Springer,
pp. 37–65,
doi:10.1007/978-94-017-1201-9_2.
S. Burris & H.P. Sankappanavar (1981):
A Course in Universal Algebra.
Springer-Verlag,
doi:10.1007/978-1-4613-8130-3.
I. Chajda & H. Länger (2017):
Orthomodular lattices can be converted into left-residuated -groupoids.
Miskolc Mathematical Notes 18,
pp. 685–689,
doi:10.18514/MMN.2017.1730.
I. Chajda & H. Länger (2020):
Left residuated lattices induced by lattices with a unary operation.
Soft Computing 24,
pp. 723–729,
doi:10.1007/s00500-019-04461-x.
M.L. Dalla Chiara, R. Giuntini & R. Greechie (2004):
Reasoning in Quantum Theory.
Kluwer, Dordrecht,
doi:10.1007/978-94-017-0526-4.
D. Fazio (2020):
Remarks on the order-theoretical and algebraic properties of quantum structures.
Università degli Studi di Cagliari.
J.M. Font (2016):
Abstract Algebraic Logic: An Introductory Textbook.
Studies in Logic–Mathematical Logic and Foundations 60.
College Publications, London.
S. Gagola, J. Gabriëls & M. Navara (2015):
Weaker forms of associativity in orthomodular lattices.
Algebra Universalis 73,
pp. 249–266,
doi:10.1007/s00012-015-0332-5.
N. Galatos, P. Jipsen, T. Kowalski & H. Ono (2007):
Residuated Lattices: An Algebraic Glimpse at Substructural Logics.
Studies in Logic and the Foundations of Mathematics 151.
Elsevier B. V., Amsterdam,
doi:10.1016/S0049-237X(07)80005-X.
N. Galatos & H. Ono (2006):
Glivenko Theorems for Substructural Logics over FL.
J. Symb. Log. 71,
pp. 1353–1384,
doi:10.2178/jsl/1164060460.
J. Harding (1991):
Orthomodular lattices whose MacNeille completions are not orthomodular.
Order 8,
pp. 93–103,
doi:10.1007/BF00385817.
J. Harding (1998):
Canonical completions of lattices and ortholattices.
Tatra Mt. Math. Publ. 15,
pp. 85–96.
N.D. Megill & M. Paviči\'c (2003):
Quantum Implication Algebras.
Internat. J. Theoret. Phys. 42,
pp. 2807–2822,
doi:10.1023/B:IJTP.0000006007.58191.da.