A method of embedding partially ordered sets into linear spaces is presented. The problem of finding all orthocomplementations in a finite lattice is reduced to a linear programming problem.
@article{arxiv.math/0611455,
title = {A Linear Programming Method for Finding Orthocomplements in Finite Lattices},
author = {George Parfionov and Roman Zapatrin},
journal= {arXiv preprint arXiv:math/0611455},
year = {2007}
}