Bilattice logic properly displayed | Publicación