Identities of triangular Boolean matrices

Mikhail V. Volkov

We give a combinatorial characterization of the identities holding in the semiring of all upper triangular Boolean $n\times n$-matrices and apply the characterization to computatio…