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