The Trilattice of Constructive Truth Values. - Yaroslav Shramko; J. Michael Dunn; Tatsutoshi Takenaka (J. Log. Comput., 2001)