Su solución fue una lógica de propiedades con una semántica de tres valores; esto es, cada propiedad podía tener tres posibles valores de verdad: verdadero, falso o indeterminado.