1. G. Battilotti. Embedding classical logic into basic orthologic with a primitive modality, Logic Journal of the IGPL, 6, 383–402, 1998.
2. G. Battilotti and G. Sambin. Basic logic and the cube of its extensions, in A. Cantini, E. Casari, and P. Minari (eds), Logic and Foundations of Mathematics, pp. 165–186. Kluwer, Dordrecht, 1999.
3. J. L. Bell and A. B. Slomson. Models and Ultraproducts: An Introduction, North-Holland, Amsterdam, 1969.
4. E. Beltrametti and G. Cassinelli. The Logic of Quantum Mechanics, Vol. 15 of Encyclopedia of Mathematics and its Applications, Addison-Wesley, Reading, 1981.
5. G. Birkhoff. Lattice Theory, Vol. 25 of Colloquium Publications, 38 edn, American Mathematical Society, Providence, 1995.