A. Shimshon, A. , and J. Levitzki, Minimal identities for algebras, Proc. Amer. Math. Soc, vol.112, pp.449-463, 1950.

A. Björner, Orderings of Coxeter groups, Combinatorics and Algebra Contemp. Math. Amer. Math. Soc, vol.3486, pp.175-195, 1983.
DOI : 10.1090/conm/034/777701

A. Björner and M. L. Wachs, Shellable nonpure complexes and posets, II, Trans. Amer. Math. Soc, vol.34998, issue.10, pp.3945-3975, 1997.

J. and R. Büchi, On a decision method in restricted second order arithmetic, Logic, Methodology and Philosophy of Science, Proc. 1960 Internat. Congr.), pp.1-11, 1962.

N. Caspard, The lattice of permutations is bounded, Internat, J. Algebra Comput, vol.10, issue.4, pp.481-489, 2000.

N. Caspard, C. L. Conte-de-poly-barbut, and M. Morvan, Cayley lattices of finite Coxeter groups are bounded, Advances in Applied Mathematics, vol.33, issue.1, pp.71-94, 2004.
DOI : 10.1016/j.aam.2003.09.002

URL : https://hal.archives-ouvertes.fr/hal-00095478

B. Chornomaz, A non-capped tensor product of lattices, Algebra universalis, vol.217, issue.4, 2013.
DOI : 10.1007/s00012-014-0304-1

URL : https://hal.archives-ouvertes.fr/hal-00909356

A. Grant and . Fraser, The tensor product of semilattices, Algebra Universalis, vol.8, issue.1, pp.1-3, 1978.

R. Law, G. , and R. Greechie, Some equations related to states on orthomodular lattices, Demonstratio Math, pp.241-250, 1984.

G. Grätzer, H. Lakser, and R. Quackenbush, The Structure of Tensor Products of Semilattices with Zero, Transactions of the American Mathematical Society, vol.267, issue.2, pp.503-515, 1981.
DOI : 10.2307/1998667

G. Grätzer and F. Wehrung, A new lattice construction, Algebra universalis, vol.53, issue.2-3, pp.315-344, 1999.
DOI : 10.1007/s00012-005-1889-1

R. J. Greechie, A nonstandard quantum logic with a strong set of states, Current issues in quantum logic, Ettore Majorana Internat. Sci. Ser.: Phys. Sci, vol.884, pp.375-380, 1979.

G. Th, P. Guilbaud, and . Rosenstiehl, Analyse algébrique d'un scrutin, Math. Sci. Hum, vol.4, pp.9-33, 1963.

D. Mark and . Haiman, 06009) 21. , Arguesian lattices which are not linear, Two notes on the Arguesian identity06014) 22. , Arguesian lattices which are not type-1, pp.167-171, 1985.

L. Iturrioz, A Simple Proof of a Characterization of Complete Orthocomplemented Lattices, Bulletin of the London Mathematical Society, vol.14, issue.6, pp.542-544, 1982.
DOI : 10.1112/blms/14.6.542

P. Jipsen and H. Rose, Varieties of Lattices Out of print, Lecture Notes in Mathematics, vol.1533, p.6022, 1992.

B. Jónsson, On the representation of lattices, 389d) 27. , Modular lattices and Desargues' theorem, pp.193-206, 1953.
DOI : 10.7146/math.scand.a-10377

F. Katrno?ka, On the representation of orthocomplemented posets, Comment. Math. Univ. Carolin, vol.2384, issue.3, pp.489-498, 1982.

K. Keimel and J. Lawson, Continuous and completely distributive lattices, Lattice Theory: Selected Topics and Applications, pp.5-53
DOI : 10.1007/978-3-319-06413-0_1

D. Kelly, On the dimension of partially ordered sets, Discrete Math, pp.135-156, 1981.

D. Kelly and I. Rival, Crowns, fences, and dismantlable lattices, Canad, J. Math, vol.26, pp.1257-1271, 1974.
DOI : 10.4153/cjm-1974-120-2

P. S. Joseph, C. H. Kung, and . Yan, Six problems of Gian-Carlo Rota in lattice theory and universal algebra, Algebra Universalis, vol.49, issue.2, pp.113-127, 2003.

R. Mayet, Une dualité pour les ensembles ordonnés orthocomplémentés, C. R. Acad. Sci. Paris Sér. I Math, vol.29483, issue.2, pp.63-65, 1982.

D. Norman, M. Megill, and . Pavi?i´pavi?i´c, Equations, states, and lattices of infinite-dimensional Hilbert spaces, Internat. J. Theoret. Phys, vol.39, issue.10, pp.2337-2379, 2000.

J. B. Nation, An approach to lattice varieties of finite height, Algebra Universalis, vol.108, issue.4, pp.521-543, 1990.
DOI : 10.1007/BF01188998

M. Pouzet and K. Reuter, Ivan Rival, and Nejib Zaguia, A generalized permutahedron, Algebra Universalis, vol.3497, issue.4, pp.496-509, 1995.

N. Reading, Lattice and order properties of the poset of regions in a hyperplane arrangement, 06006) 45. , Cambrian lattices, pp.179-205, 2003.
DOI : 10.1007/s00012-003-1834-0

I. Rival, Lattices with doubly irreducible elements, Bulletin canadien de math??matiques, vol.17, issue.0, pp.91-95, 1974.
DOI : 10.4153/CMB-1974-016-3

L. Santocanale, On the Join Dependency Relation in Multinomial Lattices, Order, vol.21, issue.2, pp.155-179, 2007.
DOI : 10.1007/s11083-007-9066-0

URL : https://hal.archives-ouvertes.fr/hal-00142355

L. Santocanale and F. Wehrung, Sublattices of associahedra and permutohedra, Advances in Applied Mathematics, vol.51, issue.3, pp.419-445, 2013.
DOI : 10.1016/j.aam.2013.03.003

URL : https://hal.archives-ouvertes.fr/hal-00577258

M. Schützenberger, Sur certains axiomes de la théorie des structures, C. R. Acad. Sci. Paris, vol.2217, pp.218-220, 1945.

M. Sekanina, On a Characterisation of the System of all regularly closed Sets in general closure spaces, Mathematische Nachrichten, vol.38, issue.1-2, pp.61-66, 1968.
DOI : 10.1002/mana.19680380107

V. Marina, F. Semenova, and . Wehrung, Sublattices of lattices of order-convex sets, I. The main representation theorem, J. Algebra, vol.277, issue.2, pp.825-860, 2004.

. Mat, Utgit for Fridtjof Nansens Fond, Kristiania: in Kommission bei Jacob Dybwad, 1920 (Ink stamp: Printed in Norway), 1920. 56. , Selected Works in Logic, pp.285342-285386, 1920.

W. Thomas, Automata on infinite objects, Handbook of Theoretical Computer Science , Volume B: Formal Models and Sematics, pp.133-191, 1990.

F. Wehrung, FROM JOIN-IRREDUCIBLES TO DIMENSION THEORY FOR LATTICES WITH CHAIN CONDITIONS, Journal of Algebra and Its Applications, vol.01, issue.02, pp.215-242, 2002.
DOI : 10.1142/S0219498802000148

URL : https://hal.archives-ouvertes.fr/hal-00004017

R. Wille, Tensorial decomposition of concept lattices, Order, vol.17, issue.1, pp.81-95, 1985.
DOI : 10.1007/BF00337926

L. Santocanale and L. , Case 901, F-13288 Marseille cedex 9, France E-mail address: luigi.santocanale@lif.univ-mrs.fr URL: http://www.lif.univ-mrs.fr/~lsantoca, Caen Cedex, vol.163, 14032.