Cited By
View all- Garg S(2015)Candidate Multilinear MapsundefinedOnline publication date: 30-Mar-2015
Qualitative relations in biological systems were studied by means of lattices. The first representations gave place to finite pseudo-Boolean algebras. The Heyting arrow operation relating noncomparable elements of the lattices (L) allowed the definition ...
This paper's goal is to prove that the only de Morgan algebras and the only orthomodular lattices in which the law ( a · b ) = b + a · b , posed by Charles Elkan in [1] holds, are those that are boolean algebras. That is, that among both ...
For large ranks, there is no good algorithm that decides whether a given lattice has an orthonormal basis. But when the lattice is given with enough symmetry, we can construct a provably deterministic polynomial-time algorithm to accomplish this, based ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in