The product representation theorem for interlaced pre-bilattices: some historical remarks

Abstract

This note aims to unravel the history of the Product Representation Theorem for Interlaced Pre-bilattices. We will see that it has its lattice-theoretic roots in early attempts to solve one of the problems in Birkhoff’s Lattice Theory. The theorem was presented in its full generality by Czedli, Huhn and Szabo at a conference in Szeged, Hungary in 1980 (and published in 1983). This was several years before Ginsberg introduced bilattices at a conference on artificial intelligence in 1986 and in his foundational paper in 1988.