@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},
)