

Rota-metropolis cubic logic and Ulam-Rényi games
pp. 197-244
in: Henry Crapo, Domenico Senato (eds), Algebraic combinatorics and computer science, Berlin, Springer, 2001Abstract
In their paper [43] Rota and Metropolis considered the partially ordered set F n of all nonempty faces of the n-cube [0, 1]n for each n = 1, 2,…, equipped with the following operation: (⊔) taking the supremum A⊔ B of any two faces A and B of F n , together with the following two partially defined operations: (⊓) taking the set-theoretic intersection A ⊓ B of any two intersecting faces A and B of F n , and (Δ) when a face A is contained in another face B, taking the antipode Δ (B, A) of A in B.