Redefining logical constants as inference markers | Publicación