La lógica trivalente como la del universo de los modelos de Kripke que contienen tres "mundos" posibles.