three-value Logic

From Lojban